Camlのわかりにくさ

OCamlの式があった論文を読んで思ったこと。
Camlのわかりにくいところは*だとか=だとか記号が多すぎるとこだろう。単に多いだけならまだいいんだけど、意味の強い記号が文脈でいろいろ変わるのが問題。パーザーには明確でも人間がぱっとフォーカスしてみたときどこかわからなくなる。

ということでOCaml文法ちょい調べて、MLも復習。SMLしか使ったこと無いんで文法は１から調査。