「「Rubyで作る奇妙なプログラミング言語 ～Esoteric Language～」 発売」記事へのコメント

いまだにラムダ計算がわかりません

[YOUsuke (6796)]

誰かリンゴとバナナで説明してください。

--
妖精哲学の三信
「だらしねぇ」という戒めの心、「歪みねぇ」という賛美の心、「仕方ない」という許容の心

Re:いまだにラムダ計算がわかりません

[Anonymous Coward]

あ、オレもforループがわからない、誰か教えて

Re:

[Anonymous Coward]

function GoldExperienceRequiem(){
  for (;;){
  }
  return truth;
}

Re:

[Anonymous Coward]

ループはYコンビネータを使ってよ

Re:いまだにラムダ計算がわかりません

[Deasuke (34806)]

ecmascriptならY-combinatorは書けるけど、書く必要もなくて、例えば5の階乗を再帰で書くのに無名関数を使って、

function(n) { return n < 1? 1 : n*arguments.callee(n-1); }(5)

で済みます。

--
Best regards, でぃーすけ

Re:

[Anonymous Coward]

>callee

そうだよなあ。
OOP言語に「今アクセスされてるレシーバ」を表すthisとかselfとかいう言葉が有るなら、
関数型(純粋関数型かどうかは問わない)言語にも
「今呼び出されてる関数」を表すcalleeのようなものが有ってしかるべきだ。

というかC言語にだって凄く欲しいぞ。
(まあCは無名関数やローカル関数を原則作れない言語だから、単にグローバルな関数名を呼べば済んでしまうんだけどね)

＃MSX-Cではmain()のローカル変数にマシン語を積んだりしたのでAC。
＃割り込み処理を置ける領域とスタックが置けるのとが同じ(バンク切り替えを食らわない0