▪ Algebraic data type ▪ 数组 ▪ Associative array ▪ Class ▪ List ▪ Object ▪ Option type ▪ Product ▪ Record ▪ Set ▪ Union
其他
▪ 布尔型 ▪ Bottom type ▪ Collection ▪ Enumerated type ▪ 异常 ▪ First-class function ▪ Opaque data type ▪ Recursive data type ▪ 信号标 ▪ 字串流 ▪ Top type ▪ Type class ▪ Unit type ▪ Void