tanakaBox https://blog.hatena.ne.jp/tanakaBox/ ボクノス https://boxnos.hatenablog.com/ Scheme メモメモ。 Z Yをη変換するとZ Y f = f (Y f) Z f = f (λy.Z f y)η変換ってなんだかよくわからんけど、λを一個追加(削除?)することらしい。とりあえずη変換してみよう。 (lambda (x) x) ; ↓ η変換 (lambda (y) ((lambda (x) x) y)) 一回lambdaで囲んでも意味は変わらない。η変換すると、理論上での計算の意味合いは全く一緒だけど、計算機上では評価順序が変わるのがポイントらしい。 不動点オペレータ - ボクノスコレネ。これが純粋なYコンビネータ。 Y = λf.(λx.f (x x)) (λx.f (x x))外側… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fboxnos.hatenablog.com%2Fentry%2F20080208%2F1202431810" title=" コンビネータメモ - ボクノス" 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 2008-02-08 09:50:10 rich https://boxnos.hatenablog.com/entry/20080208/1202431810 1.0 100%