スタート規則って、どういう扱いを受けてるんでしょう。複数のスタート規則を宣言できるような、LALR(1)パーサジェネレータって無いような気がするんですけど、一つじゃないとなにかまずいことがあったりするんでしょうか？ %start compilation_unit %start …

Rubyのlambdaメソッドの型は、すんごいナイーブには lambda : ('a -> 'b) -> Proc<'a, 'b>みたいな感じになると思っていた。Procは、call : 'a -> 'bみたいなcallメソッドを持つようなProcオブジェクトだと思ってください。しかし、id:sumii先生の記事を見て…