zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ OCaml Algebraic Effects タイトルどおり、OCaml 5.0のeffect handlerを使って相互再帰的な関数を分割して別々に定義できるようにする。 相互再帰な処理 ベタだが今回はis_oddとis_evenという相互再帰な関数を例にとる： let rec is_odd n = if n=0 then false else is_even (n-1) and is_even n = if n=0 then true else is_odd (n-1) is_oddは引数が0ならfalse、0以外ならis_even (n-1)としている。is_evenは逆。（0未満の整数が引数だと無限ループになるが・・・） このよう… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2023%2F01%2F08%2F132817" title="Effect Handlerで相互再帰を分割する - 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 2023-01-08 13:28:17 rich https://zehnpaard.hatenablog.com/entry/2023/01/08/132817 1.0 100%