Arantium Maestum

再帰型についてTaPLなどを読み返していて、ようやく再帰型の「2大流派」であるisorecursiveとequirecursiveの違いなどがわかってきた。調べている間にOCamlコンパイラの-rectypesというフラグについて知ったのでメモ。 OCaml（そしてほとんどの関数型プログラミング言語）はisorecursiveな観点で再帰型を実装している。 型…