[ruby-list:32148] Re: call by name

In article <[e-mail]>,
  [e-mail] (YANAGAWA Kazuhisa) writes:

> 引数の lazy evaluation では任意の式を書けるんだから call by name とは
> イメージが違うんだけど私もよく知ってるわけじゃないからイメージだけかも
> しれない．
> 
> Haskell の解説文書で「遅延評価は call by name とにている」といってるの
> は何か読みましたけど．call by name って言う時式はかけるんですか?

すこし探したところ、それらしき code が見つかりました。
http://www.csse.monash.edu.au/~lloyd/tildeProgLang/Algol60/jensen.a60

begin integer i;

      real procedure sum(i, lo, hi, term);
           value lo, hi; integer i, lo, hi; real term;
           comment term is passed by-name;
      begin real temp; temp := 0;
            for i := lo step 1 until hi do
               temp := temp + term;
            sum := temp
      end;

      print( sum(i, 1, 100, 1/i), 6, 3 )
end

comment Jensen's device,  L. Allison, Computer Science, Monash University.

ここで、(内容をなんとなく推測すると) sum の第四引数が call-by-name と
いうやつで、実引数の 1/i というのが sum の本体で繰り返し評価されるのだ
と思います。

Ruby でいえば、iterator を使って

def sum(lo, hi)
  temp = 0
  (lo..hi).each {|i| temp += yield i}
  temp
end

print sum(1, 100) {|i| 1/i}, 6, 3

とでもなるんでしょうか。(print の 6, 3 はよくわからない。)

1/i の評価が sum の内部で必要になるまで遅らされる、というのが lazy
evaluation と似ている、と思います。

まぁ、本物の lazy evaluation なら引数だけじゃなくてありとあらゆる式の
評価が必要になるまで遅らされるわけですが。

ふむ。この例をみると i を引数に渡しているので、scope はあまり変じゃな
いのかも。
-- 
[田中 哲][たなか あきら][Tanaka Akira]
「ふえろ! わかめちゃん作戦です$(C⊇」(Little Worker, 桂遊生丸)