JavaScript の構文(BNF)とか

小倉唯 @Constellation

yieldとか分割代入のBNFってどこにあるのかな?

テラマコ @teramako

@Constellation 見当たらないので、自作しようと奮闘してますｗ yield はまぁReturnStatementを同じ形でいいのかなと思いますが、分割代入は難しい...

テラマコ @teramako

あ、yield 時はExpressionが必須かな。ちょっと試してみよっと

小倉唯 @Constellation

@teramako 恐ろしいことにｗ あっyield, sendできるので式だったかと. val = yield null;とか.

テラマコ @teramako

@Constellation 手元のGecko 1.9.2.8だと SyntaxError: yield expression must be parenthesized ソース：function a(){ return yield, "a"; } になります。。。

小倉唯 @Constellation

yieldの優先順位ぜんぜん知らない... Mozillaさんなんか書いてくれてないのかなー.

小倉唯 @Constellation

@teramako ああっ! 普通のExpとしては解釈不能なんですね... yieldの複雑さ半端ないですね.

TOYAMA Nao @nanto_vi

yieldの構文ってこの辺りが関連するのかな。 https://bugzilla.mozilla.org/show_bug.cgi?id=351514

Piro🎉"ｼｽ管系女子"ｼﾘｰｽﾞ累計5万部突破!!🎉 @piro_or

yieldとかMozilla専用の記法がある時に復帰可能SyntaxErrorの判別が期待通りに行われなさそうだなと思ったので、UxUではとりあえず1回try-catchで実行してからエラったらijsに渡すようにしてみてたり。

TOYAMA Nao @nanto_vi

http://nanto.asablo.jp/blog/2006/08/12/481381#js17-generator 「yield 式がほかの演算子のオペランドとして使われるときは yield 式全体を括弧で囲う必要がある」ってどこから得られた情報なんだろう?

MARUYAMA Tsukasa @mal_blue

ES4(最終版)のBNFには yield あるけど… http://hg.ecmascript.org/es4/file/917f35e97deb/spec/grammar.pdf

小倉唯 @Constellation

@piro_or ijsはv8 level解釈 + ECMA-262のgetter/setterにString他取れる修正 + IdentifierNameにkeyword取れる修正 の解釈ですー. JS1.8のparseもすごい気になります...

小倉唯 @Constellation

@mal_blue BNFあるんですか! どうもです見てみます!!

小倉唯 @Constellation

そして初めてhg.ecmascript.orgの存在を知った...

小倉唯 @Constellation

そしてyieldの括弧の必要性がすでに言及されているのに気づいて, @nanto_vi さんすごいと思った.

小倉唯 @Constellation

ここらへんっぽい. http://wiki.ecmascript.org/doku.php?id=discussion:iterators_and_generators

テラマコ @teramako

@Constellation うおお、ありがとうございます。 しかし、余計に分からなくなってきましたｗ

小倉唯 @Constellation

@teramako 難しいですね... ConditionalExpのphaseにはさんだらだめなのかなーとか思ったのでちょっと書いてみます...

小倉唯 @Constellation

ivjs.js(ijsじゃないほう)にこんな感じでpatchあてたらyield解釈できるかな? http://gist.github.com/504910 ES4のBNF参考にConditionalに追加した.

小倉唯 @Constellation

いやー. ちょっとだめそう. commaが着たらむしろSyntaxError飛ばすのが正解かな?

小倉唯 @Constellation

すっごい眠いけど, Expression Contextより上に上げればいいんじゃないかとか思ったので試す...

小倉唯 @Constellation

あーだめだ. いちおうAssignmentExpなんだった. これは本気で細かなcheckをしないとだめか...

小倉唯 @Constellation

眠い... 非常にあいまいなのか, RhinoとSpiderMonkeyで解釈違う... 10, yield 20; とかRhinoだと通らない.

小倉唯 @Constellation

SMの解釈方式に従えばこんな感じかな? http://gist.github.com/504910 SMと違ってyield文でなくEXPに畳み込んで, そのためreturnと同一のmethodでいじる必要をなくしてる. これでそこそこ解釈できると思うけど...