OCaml の処理系の実装を大学の課題で取り組んだことがあって、そのときは let多相の実装まで取り組めなかったので、改めてやってみることにしました。 let多相というのは、例えば引数を一つ受け取って同じ値を返す関数 id を定義すると、 # let id x = x;; v…