【Scheme】Y-Combinator(Yコンビネータ/不動点演算子) ■Y-Combinator 「Y-Combinator」を理解するために書いたコードを元に、思考の過程を書く。 ■参考 記事最下に記載。 ■材料 再帰を伴う処理を基に書いていく。 通例通り階乗(http://ja.wikipedia.org/wiki/階乗)を求める「fact」関数を例に取る。 ■その前に・・・ Y-Combinatorは何がしたいのか? ・無名(匿名)関数で再帰を行いたい。 ⇒ 普通は「fact」関数の定義の中で「fact」呼び出しが行われる。 ⇒ 「fact」という名前を使わずに再帰したい。 ■注 1)、「;」で始まるコメントは出鱈目な英語です。(DrScheme(http://www.db.is.kyushu-u.ac.jp/enshu/)の日本語表示が気持ち悪いから) 2)、「;=>」は実行結