この記事は OCaml Advent Calendar 2012 の 17日目の記事です。同値再帰型が何であるか知りたい方は、今後発売される TAPL日本語版を読むと良いと思います（私も翻訳しています。*1）。 Wikipedia英語版にもありますね。 同値再帰型は、再帰型の定式化の方法…