速查
写的时候会忘的几行
| int | 写法 | 另一边 | 写法 |
|---|---|---|---|
| 整数加 | 1 + 2 | 浮点加 | 1. +. 2. |
| 整数减 / 取负 | 3 - 1，-1 | 浮点减 / 取负 | 3. -. 1.，-1. |
| 整数乘除 | 8 / 3 = 2 | 浮点乘除 | 8. /. 3. |
| 取余 | x mod 2 | 拼接字符串 | "a" ^ "b" |
| 列表头部 | 1 :: xs | 拼接列表 | xs @ ys |
| 列表字面量 | [1; 2; 3] | 元组 | (1, 2) |
| 相等 | a = b | 写 ref | r := !r + 1 |
| 管道 | x |> f | 反向应用 | f @@ x |
模式
[] 空， [x] 恰好一个， hd :: tl 至少一个。 构造器只吃一个参数：RGB (r, g, b)。
失败
可能没有：option。可能出错： result。程序坏了：异常。
更新
记录用 { r with x = 1 }。 可变格子用 ref。 签名把 type t = int 收成 type t，外面就看不见 int。