zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ OCaml 型理論 言語処理系 TaPLを読むと再帰型の理論と実装について、equi-recursiveとiso-recursiveという二つの流儀があると書いてある。 equi-とiso-については以下の記事でも少し触れた： zehnpaard.hatenablog.com しかし実際どういう違いなのかをメモった上でどちらにするのかを決めていきたい。 前回に続いて type intlist = Nil | Cons of int * intlist という再帰型を考える。これを「環境なしで」表そうと思うと内部的に不動点コンビネータを使っていると見做せる「μ」を利用してこう書ける： type intlist = μt.Nil… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2022%2F11%2F26%2F115832" title="再帰型の実装に関して悩んでいること２ equi-recursive対iso-recursive - Arantium Maestum" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2022-11-26 11:58:32 rich https://zehnpaard.hatenablog.com/entry/2022/11/26/115832 1.0 100%