Notice that ML uses type inference. The : colon symbol associates a value with a type and is read as “is of type.” For instance, the expression 3 : int indicates that 3 is of type int. This explains the responses of the interpreter on lines 2, 4, 6, 8, and 10 when an expression is entered on the preceding line.
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month, and much more.
