Posts
List.fold_left は左から，List.fold_right は右からたたみ込む。…
List.map はリストの各要素に関数を適用する。…
match式によるパターンマッチを function構文で書くことができる。パターンマッチのための仮引数が現れないのがミソ。…
List.append は2つのリストを連結する。…
引数のパターンマッチには match式をつかう。リストパターンは :: を使える。たとえば：…
あいだが開いてしまった。多相や型推論の部分はどうにも頭の整理できないので，先に進もう。…
次の関数 thrd は3要素のタプルを引数にとって，3番目の要素を返す。…
