Tellur52の日記: ラムダの魔人があなたの心を見通します
日記 by
Tellur52
mockamockinbird.comは、20問程度の簡単な質問で、あなたの思い浮かべたコンビネータを当てるゲームサイト「コンビネイター」を公開した。
skicombinator.comにアクセスすると、魔法のランプから白髪で髭は無く細い目のやや額の広い魔人「ビネイター」が現れる。
プレイヤーは出題者となり、まず一連のS,K,Iから構成されるコンビネータを思い浮かべる。
ビネイターは、「そのコンビネータにIは含まれますか?」「S,Kを合計4つ以上使いますか?」などの質問をしてくるので、プレイヤーは「はい」か「いいえ」で回答する。
ビネイターが推論に成功すると、最後に「それはS(KS)K (CurryのBコンビネータ)ですね?」などと正解を回答する。
ビネイターは、unlambda, Lazy K, Iota, Jotなど、インターネットに無数にあるコンビネータ論理系のコードを際限なく収拾しており、恐ろしいことに、減算や512までのチャーチ数、各種の不動点コンビネータ、果てはLazy K のHello Worldのゴルフコンテストの上位入賞コードなどを的中させることができる。
mockamockingbird.comでは、ゆくゆくはコンビネータで表現された関数の展開をクラウド化することによって、探索に莫大な電力を費やすコンビネータ系言語のゴルフ大会の省電力化に貢献したいと考えているそうだ。
#・・・なんて四月バカネタを思いついたけど、これ、ついて行ける人いるのかしらん?
ラムダの魔人があなたの心を見通します More ログイン