SML Types Primitive types include int, real, bool, and string. Each of these has an associated set of literal con- stants and operators, e.g., bool has the constants true and false, and the operators not, andalso, and orelse. Tuple types are cartesian products of other types.
List types represent a sequence of values of a single particular type.
Function types represent functions taking a fixed argument type and returning a fixed result type. SML has no symbols, so we use strings instead. In addition to identifying the variant that matched, the pattern can contain variables that are bound to the correspond- ing elements of the value record. This is a very powerful and useful mechanism. This slide intentionally left almost blank.