[ruby-dev:17747] Re: self in block

正木です。

In message "[ruby-dev:17738] Re: self in block"
 [e-mail] (Yukihiro Matsumoto) writes:

|すみません。私にとって「自然」というのは意味がないので、どう
|してそのselfが無名関数自身を指すべきなのか、それから正木さん

何を自然と思うかという感覚は、非常に大事なことだと思っていますが、
伝わらなければ意味がないことも事実です。
この場合の判断基準は
"本来不必要な情報は使わない"
です。

以前に
[ruby-list:35087] Re: Y Combinator
で書いた例で具体的に説明します。

class Function
  attr_accessor :hash
  def initialize(hash={},*parameter)
    @hash=hash
    @para=parameter
    @lambda=eval "lambda{"+yield+"}"
  end

  def [](x)
    @hash[x] || @hash[x]=@lambda.call(x,*@para)
  end
end

ここで
Fact=Function.new({0=>1}){"|n| n*self[n-1] "}
と
Fact=Function.new({0=>1}){"|n| n*Fact[n-1] "}
を比べると、後者は、本来不必要な関数名、を使っている点で前者より
劣ります。そのために
関数名を換えたら block 内の関数名もそれにあわせて換えないといけない。
小文字の関数名は使えない。
といった欠陥が生じます。
前者のような書き方ができるためには self が関数自身を指すことが必要です。 

|してそのselfが無名関数自身を指すべきなのか、それから正木さん
|がblockの新仕様に期待するものはなんなのか、


原さんに
|しかし、lambda の上に eval までされると、いよいよ頭がぐちゃぐちゃ
|に、、、(^^;

と言われた上記の initialize を

  def initialize(hash={},*parameter,&block)
    @hash=hash
    @para=parameter
    @lambda=block
  end

のようにすっきり書きたいということです。

|あとblockの形の方
|が使いやすいと思う理由はなにかということについて教えていただ
|けませんか？

無名関数の受渡し方として

Fact=Function.new({0=>1}){<n> n*self[n-1] }

という形が一番簡潔だと思うからです。