以前から何度か自分でもラムダのみで再帰(Yコンビネータ)を導きだしてみようと挑戦していたのだが、結局作れずじまいだった。しかしLazy Kで書いてみると意外にも書けてしまった。 まずはこれ。 sii(sii)これはいくらやってもsii(sii)になる。まぁこれだけ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。