青木日記

■ Ruby で BNF を記述

[ruby-list:42032] あたりの、 解析する文法を DSL で記述する話について。

Haskell の Parsec がまさにそれ。Ruby でも、ないわけではない。

例えば、Racc よりも速いぜーと ruby-talk で自慢していた Grammar はそれっぽい。 ただ DSL というよりはオブジェクトを作る感じが強くて、俺は好きになれなかった。

見ためがきれいという点では akr さんの abnf が一番いいと思う。 これは DSL じゃなくて文字列だけど。

るびま 8 号の立石さんの記事にもパーサ関係はいくつか出てたなあ。

http://jp.rubyist.net/magazine/?0008-RLR

今回見なおしてみると、tdp4r と syntax.rb が欲しいものに一番近いかもしれない。 でもどちらももうちょい見ためをすっきりできそうな印象を受ける。 あと syntax.rb は String#+ だの String#- だの定義しちゃうのが嫌だ。

Racc もさ、もう少しなんとかできそうな気はするんだよな。例えば

Racc::Grammar.define {
  rule program,   expr
  rule expr,      '(', expr, ')'
  _               expr, '+', expr  do .... end
  _               expr, '-', expr  do .... end
  _               expr, '*', expr  do .... end
  _               expr, '/', expr  do .... end
  _               num
}

なんてのならすぐに実装できると思うけど。 うーん。ちょっとイマイチかなあ。

(05:44)