jeneshicc https://blog.hatena.ne.jp/jeneshicc/ 落書き、時々落学 https://jeneshicc.hatenadiary.org/ 日記 Haskell ラムダ式をSKIコンビネーター表現するコードが発掘された（昔のコードがたまたま見つかった）． ちなみに，SKIBCで表現することも可能．ラムダ式のベータ簡約は前につくった． ラムダ計算 - 落書き、時々落学こんな感じ． *SKI> b \x->\y->\z->x (y z) *SKI> trans opt b S (K S) K *SKI> trans bc b B *SKI> omega \f->\x->f (x x) (\x->f (x x)) *SKI> trans opt omega S (S (S (K S) K) (K (S I I))) (S (S (K S) K) (K (S … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fjeneshicc.hatenadiary.org%2Fentry%2F20091124%2F1259073786" title="SKIコンビネーター@Haskell - 落書き、時々落学" 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 2009-11-24 23:43:06 rich https://jeneshicc.hatenadiary.org/entry/20091124/1259073786 1.0 100%