基本型一覧
| 型 | サンプル |
| unit | () |
| int, float | 32, 42.195 |
| 'a, 'b | (generic type) |
| 'a -> 'b | fun x -> x+1 |
| 'a * 'b | (1, 32) |
| 'a list | [1; 32] |
| 'a option | Same(3), None |
上から
- unit 型(他言語で言う void?)
- int, float (L付きで64bit整数)
- 汎用型（型推論出来ない場合はコレ）
- 関数
- タプル型
- リスト型
- オプション型（戻り値が不定とか）
特にタプルは、関数の返り値何かでルカうと、2つ以上の返り値をreturnできる。
そういう使い方がいいかどうかはしらんけど。