zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ TodayILearned 再帰型についてTaPLなどを読み返していて、ようやく再帰型の「2大流派」であるisorecursiveとequirecursiveの違いなどがわかってきた。調べている間にOCamlコンパイラの-rectypesというフラグについて知ったのでメモ。 OCaml（そしてほとんどの関数型プログラミング言語）はisorecursiveな観点で再帰型を実装している。 型システム実装シリーズでもこの制約に少し当たっている： zehnpaard.hatenablog.com new_tvar内で定義されているfがTVar nと共にf (n+1)を返している。しかしこれを実現するためにはただのタプルだとOCa… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2022%2F11%2F18%2F205335" title="TIL：OCamlコンパイラのrectypesフラグ - 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-18 20:53:35 rich https://zehnpaard.hatenablog.com/entry/2022/11/18/205335 1.0 100%