'Split list' presentation slideshows

Type Variables in ML

Type Variables in ML. Until we know the type of a value (perhaps never!), we use a variable for its type Book uses, e.g. , t1, tx, tf PL literature uses Greek letters: l x.x : a ? a (lambda (a b) b) : a*b ? b ML uses 'a, 'b, 'c,. > fun foo(a,b) = b;

204 views • 11 slides

Brief Record Creation

193 views • 7 slides