[ruby-dev:17570] Re: Ruby grammar

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

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

そうそう。こういう制約を入れる意図を説明していただけるとありがたいです。

# 魔法の狙いというか。言葉では説明しにくいのかも知れませんが。

たぶん、実装可能な(あるいは定義可能な)仕様の限界は、
m1 1 {} + m2 2 {} とか m1 1 do end + m2 2 do end というように横に並べ
るのは可能で、
m1 m2 1 {} {} というような {} のネストも可能で、だけど
m1 m2 1 do end do end というような do end のネストは無理というあたりだ
と思います。

それに対して上記の制約はかなり強いわけで、その制約によってどのようなコー
ドが書きにくくなることを狙っているんでしょう?

> |「引数括弧を省略した形式」には
> |  a {}
> |のように引数が存在しないものも含まれますか?
> 
> 含みません。yacc記述でも引数のないメソッド呼び出しは特別に式
> 扱いしてます。

とすると

  m 1 do end.a do end
  m 1 do end.a {}

は parse error にはしたくない?

> |あと、
> |  a 1 do end + 2
> |  m(a 1 do end, 2)
> |というようなののは許すわけですか?
> 
> 許さなくても良いと思います。でも、「なぜ許さないか」という理
> 由はいまいち曖昧ですね。「現状で許していない」と「かっこを省
> 略したメソッド呼び出しは、全体を括弧でくくらない限り「式」で
> はない」というのは理由といえば理由ですが。

うぅむ。ブロックを後ろの方に書かせたいのかなぁ?

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

個人的には限界まで許すというのに挑戦意欲をかきたてられますが、Ruby 的
ではないでしょうねぇ。
-- 
[田中 哲][たなか あきら][Tanaka Akira]
「ふえろ! わかめちゃん作戦です$(C⊇」(Little Worker, 桂遊生丸)