プログラミング, Haskell前に買った某イカの本の影響でここ数日間SKI計算をやっていたのですが、まだSKI初心者な僕はうまく思い通りのSKI関数を作ることができません。 λカ娘の1章にはラムダ関数をSKIに変換できる公式のようなものが載っています。これを使うと、ラムダ関数さえ自分で用意しておけば、あとは何も考えずに手を動かしているだけでSKIになってしまうという優れものです。しかし、この方法はとても面倒臭いです。簡単なラムダ関数を変換するだけでもかなり時間がかかります。現に、僕は λfgx.g(fx... > このページを見る