[ruby-dev:17561] Re: Ruby grammar

まつもと ゆきひろです

In message "[ruby-dev:17558] Re: Ruby grammar"
    on 02/06/24, Tanaka Akira <[e-mail]> writes:

|  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 {}
|のように引数が存在しないものも含まれますか?

含みません。yacc記述でも引数のないメソッド呼び出しは特別に式
扱いしてます。

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

許さなくても良いと思います。でも、「なぜ許さないか」という理
由はいまいち曖昧ですね。「現状で許していない」と「かっこを省
略したメソッド呼び出しは、全体を括弧でくくらない限り「式」で
はない」というのは理由といえば理由ですが。

|しかし、位置は問わず高々ひとつというのは文脈自由文法では書きにくい類の
|制約なんですよねぇ。含んでいるものとそうでないものを表現しなきゃいけな
|いんで規則が最低でも倍にふくれるし。

適切な理由づけができれば「位置は問わず高々ひとつ」というルー
ルでなくても良いとは思うんですが。

                                まつもと ゆきひろ /:|)