抽象構文木をScalaのオブジェクトとして返せるようにしたい

[kmizu]

• 現状、 ruby_scala は解析した結果を文字列として出力しているだけだが、自分 (@kmizu)としては将来的に構文解析結果を抽象構文木として返せるライブラリにしたい。メリットとして

  • 抽象構文木を返せるようにする過程で構文規則のバグが見つけられる可能性がある
  • (ISO) RubyのプログラムをScalaプログラムから解析できるようになる

  といったことが挙げられる。作業は主に @kmizu が行う予定。 /cc @inakata

中田先生：これは、GitHubのIssue機能（バグ/TODO管理システム）を使った例です。自動的に通知メールがGitHubから中田先生の方に飛ぶと思います。

[kmizu]

水島さんにそのようなことをやって頂ければ、今までいい加減にやってきたものが、
より完全なものに近づくことになりますので、大変ありがたいです。

了解です。では、作業を開始しておきます。

私としても、現在のものを書き直したいところがいくつかありまして、手元で
テストはしておりますが、GitHubでの修正は自信が無くてしておりません。

たとえば、

  lazy val argumentWithoutParentheses: Parser[String] =
             not(LBRACE) ~ not(LineTerminator) ~ argumentList ^^ { case n1~n2~a => a }
は
 lazy val argumentWithoutParentheses: Parser[String] =
             not(LBRACE) ~> not(LineTerminator) ~> argumentList

の方がいいですよね。そのような箇所はいくつもあると思います。

はい。これは上記のように修正するのがbetterです。

また

lazy val methodDefinition: Parser[String]
にmemo(...)を付けました。READMEの中のメソッド定義のある例題のパースに時間
がかかり、その例題に何かを追加するとパース不可能になっていましたが、これを付けたら
速くなりました。

メモ化しないと指数時間かかってしまうケースにひっかかったのかもしれません。

もう一つ

//  def additiveExpression(inWhile: Boolean): Parser[String] = 
//             chainl1 ( multiplicativeExpression(inWhile), not(LineTerminator) ~ (PLUS | MINUS) ^^ {
//                           case n~op => (l: String, r: String) => "("+ l+" "+op+" "+r +")" } )
  def additiveExpression(inWhile: Boolean): Parser[String] = 
             chainl1 ( multiplicativeExpression(inWhile), not(LineTerminator) ~> ((WS ~> ("+" | "-") <~ WS) | "+" | "-") ^^ {
                           case op => (l: String, r: String) => "("+ l+" "+op+" "+r +")" } )

があります。コメントアウトしてあるものは、現在の生成規則に従って書いたものです。
これを、「２項演算子の直前に空白がある場合は直後にも空白が無ければならない」という
注釈にしたがって
書き直してみたものが後の３行です。
この修正はすべての２項演算子に共通です。

なるほど。

[kmizu]

中田先生：

ちなみに、Issueに対するコメントですが、可能であればGitHub上でコメントしていただけた方が、議論の経過が追いやすくなってありがたいです。Webブラウザ上からGitHubにログインしていただいて,
　#5

を見ると、このIssueに対するコメント一覧がみえるようになっているので、画面の一番下のコメント欄に書けば新しいコメントとして追加されます。記法としてはMarkdown と呼ばれるものがサポートされています。

疑問点があればお聞きください。

To: @inakata