さらなる発展に寄与できたかどうかは怪しいものだけど、とりあえず ML の項
をちょびっと書いてみたよ。あと OCaml も。
たぶんツッコミどころだらけだと思うので修正頼む。