[ruby-dev:17353] Re: blocks and local variables

In article <[e-mail]>,
  [e-mail] writes:

> ブロックがなくてもというのは同意しますが、一つのスコープで何度
> も同じ名前が再定義されてかつそれが別個に有効というのは、いくら
> なんでもややこし過ぎやしませんか。

関数型言語ではごく普通の話で、別にややこし過ぎるとは思いませんが。

Scheme で

(let ((x 1))
  (let ((plus1 (lambda (a) (+ a x))))
    (let ((x 2))
      (let ((plus2 (lambda (a) (+ a x))))
        (let ((x 3))
          (let ((plus3 (lambda (a) (+ a x))))
            ...))))))        

あるいは

(let* ((x 1)
       (plus1 (lambda (a) (+ a x)))
       (x 2)
       (plus2 (lambda (a) (+ a x)))
       (x 3)
       (plus3 (lambda (a) (+ a x))))
  ...)

あるいは Ocaml で

  let x = 1 in
  let plus1 = fun a -> a + x in
  let x = 2 in
  let plus2 = fun a -> a + x in
  let x = 3 in
  let plus3 = fun a -> a + x in
  ...

とか。まぁ、自明だとまではいいませんけど。

端的にいえば、それぞれの := や let がスコープを作るので一つのスコープ
ではないわけです。

ただ、Ruby だと if や while 内での変数定義が下に抜けるのでそのあたりは
問題ですね。

  x := 1
  lambda {
    if ...
      x := 2
    else
      x = 3
    end
    x = 4
  }
-- 
[田中 哲][たなか あきら][Tanaka Akira]
「ふえろ! わかめちゃん作戦です$(C⊇」(Little Worker, 桂遊生丸)