SML

Kinda similar to C++.

Data Types §

• int: +, -, $\ast$, div
• real: +, -, $\ast$, /
• string
• bool
• char #"t"

When declaring variable, must use val keyword. To set type, use :type.

Conversion §

SML doesn’t allow mixing of different types. Instead,

• real -> int: trunc, round
• int -> real: real

Function §

fun inc (x:int) :int = x + 1;