ML系の言語（Haskell, Standard ML, OCamlなど）はλ計算、論理学、圏論を
土台にきちっとした議論ができるから好き。