B.9 Declaring Types

The reader may have noticed in the previous examples that ML infers the types of values (e.g., lists, tuples, and functions) that have not been explicitly declared by the programmer to be of a particular type with the : operator.

B.9.1 Inferred or Deduced

The following transcript demonstrates type inference.

B.9.2 Explicitly Declared

The following transcript demonstrates the use of explicitly declared types.