Y Combinator - LoveRubyNet

$Id: ycombinator.html,v 1.6 2002/06/27 23:37:39 aamine Exp $ [ruby-list:35058] に刺激を受けて Y combinator を解読してみた。 こんなもん読むくらいなら以下の参考ページを読んだほうがいい。 参考にした (というかほとんどそのままな) ページ (英語) http://www.ececs.uc.edu/~franco/C511/html/Scheme/ycomb.html 動機 再帰関数は再帰するときに自分自身を名前で呼ぶのが普通である。 これをなんとかして名前を使わず、関数そのものを呼ぶように させたい。 求めかた まず単純な fact (階乗) を以下に示す。言語は Scheme である。 (define fact (lambda (n) (if (zero? n) 1 (* n (fact (- n

[shomah4a]

@hohehohe2

[kiyo_hiko]

参考にさせて頂く

[rryu]

用出典調査＞「コンビネータっていうのはプログラム意味論の用語。手続き名も 含む「変数」がすべて束縛変数である (引数になっている) λ式のこと」

[pi8027]

Y Combinator の解説。

[kankichu]

[scheme] [y

[youz]

SchemeでY Combinatorの導出

[magicalboy]

無名関数と再帰

[tanakaBox]

うは、すげーわかりやすい。青木さんのお蔭で、Yコンビネータがわかったよ!!ありがとう!!/読了

[monjudoh]

Yコンビネータ

[htktyo]

あとで

[yad-EL]

にほんご

[pipehead]

/* Y コンビネータ */ > コンビネータっていうのはプログラム意味論の用語。手続き名も 含む「変数」がすべて束縛変数である (引数になっている) λ式のこと。