レコードの型を宣言するときの注意。既存の型と同じフィールド名を使ってしまうと，先に宣言した型のフィールド名が使えなくなってしまう。たとえば前エントリの student とその値が存在している状態で：…
Haskell で一番有名（？）なコードを OCaml で書いてみた。…
タプルにしてしまえばいい。ただし，function構文はつかえない。…
match式によるパターンマッチを function構文で書くことができる。パターンマッチのための仮引数が現れないのがミソ。…
List.map はリストの各要素に関数を適用する。…
List.fold_left は左から，List.fold_right は右からたたみ込む。…
あいだが開いてしまった。多相や型推論の部分はどうにも頭の整理できないので，先に進もう。…
