引数のパターンマッチには match式をつかう。リストパターンは :: を使える。たとえば：…
List.append は2つのリストを連結する。…
次の関数 thrd は3要素のタプルを引数にとって，3番目の要素を返す。…
前置・中置演算子も一種の関数なので，ふつうの関数と同じように定義できる。ただし，名前を括弧で囲むのと使える文字に制限がある。…
Hpricot とかで Web ページをスクレイピングするときに，対象のページを解析するのが結構めんどくさい。…
OCaml の関数はカリー化されているので，部分適用できる。…
