やっぱPrototype.jsのK関数はKコンビネータで合ってる？ - SEの行き着くところ…えーと、正直に言います。俺はなんちゃらコンビネータって全く知りませんでした。思い返してみると、前回のKanasan.JSはソースはある程度追えても場の話の内容はちんぷんかんぷんやった。 で、ふと急に知らないことが嫌になったので調べた。計算論を始めとしてλ式，λ計算を扱う理論において重要視されている．λ計算において対象をコンビネータのみに制限したものをコンビネータ論理と呼ぶこともある．コンビネータとは - はてなキーワードλ式ってのも何か知りません。。例えば、ある数に 2 を加える関数 f を考える。これは通常の書き方では f(x) = x + 2 と書くことができるだろう。この関数 f は、ラムダ計算の式（ラムダ式という）では λx. x + 2 と書かれる。no titleふむふむ。 で、Kコンビネータは？「k」は、二つの引数を取り、最初の引数を返す。具体的には以下のような挙動を行う。
