[ruby-dev:17558] Re: Ruby grammar

In article <[e-mail]>,
  [e-mail] (Yukihiro Matsumoto) writes:

> そのつもりです。ただ
> 
> |m1 a1, m2 a2, m3 a3, ..., mN aN {}
> 
> のaNの形式によっては
> 
> |m1 a1, m2 a2, m3 a3, ..., (mN aN {})
> 
> ではなく、
> 
> |m1 a1, m2 a2, m3 a3, ..., mN (aN {})
> 
> となりそうな気がします。つまり、{} はもっとも右のメソッド呼
> び出しと結合するだけでなく、通常ならローカル変数とみなされる
> ものまでメソッド呼び出しに解釈する強度(？)があります。

  m m m m m m {}
が
  m (m (m (m (m (m {})))))
になり、
  m m m m m m do end
が
  m (m (m (m (m m)))) do end
になるということですね。

> たぶん、「引数括弧を省略した形式では、かっこでくくらない限り
> 全体でひとつしかブロックを付与できない」というのが望んでいる
> 文法ではないかと。「たぶん」というのが情けないですが。

ふむ。
  a 1 do end + b 2 do end
  a 1 {} + b 2 {}
  m(a 1 do end, b 2 do end)
  m(a 1 {}, b 2 {})
のようなものは禁止なわけですね?

「引数括弧を省略した形式」には
  a {}
のように引数が存在しないものも含まれますか?

あと、
  a 1 do end + 2
  m(a 1 do end, 2)
というようなののは許すわけですか?

しかし、位置は問わず高々ひとつというのは文脈自由文法では書きにくい類の
制約なんですよねぇ。含んでいるものとそうでないものを表現しなきゃいけな
いんで規則が最低でも倍にふくれるし。
-- 
[田中 哲][たなか あきら][Tanaka Akira]
「ふえろ! わかめちゃん作戦です$(C⊇」(Little Worker, 桂遊生丸)