やっぱPrototype.jsのK関数はKコンビネータで合ってる？ - SEの行き着くところ…
えーと、正直に言います。俺はなんちゃらコンビネータって全く知りませんでした。思い返してみると、前回のKanasan.JSはソースはある程度追えても場の話の内容はちんぷんかんぷんやった。 で、ふと急に知らないことが嫌になったので調べた。計算論を始めとしてλ式，λ計算を扱う理論において重要視されている．λ計算において対象をコンビネータのみに制限したものをコンビネータ論理と呼ぶこともある．コンビネータとは - はてなキーワードλ式ってのも何か知りません。。例えば、ある数に 2 を加える関数 f を考える。これは通常の書き方では f(x) = x + 2 と書くことができるだろう。この関数 f は、ラムダ計算の式（ラムダ式という）では λx. x + 2 と書かれる。no titleふむふむ。 で、Kコンビネータは？「k」は、二つの引数を取り、最初の引数を返す。具体的には以下のような挙動を行う。
再帰的な無名関数 - ヒビノキロク
次の関数は再帰的な関数だ。 (define fact (lambda (n) (if (= n 0) 1 (* n (fact (- n 1)))))) この関数は内部で自分自身を呼び出しているので、普通の方法では無名関数として定義できない。 こういう場合、不動点オペレータというものを使うと以下のようにしてfactを定義することができる。（fact関数の中で直接factという名前を使っていない所がポイント） (define fact (let ((Y (lambda (F) ((lambda (s) (F (lambda (x) ((s s) x)))) (lambda (s) (F (lambda (x) ((s s) x)))))))) (Y (lambda (f) (lambda (n) (if (= n 0) 1 (* n (f (- n 1))))))))) ここで天下り的に出て
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
