[Lisp処理系を作る] 14日目 パーサを作る

大まかな仕様は以下な感じ。

• 文字列からは n 個の S 式と解釈できる。
• S 式は Atom か List 。
• List は "(" で始まり ")" で閉じる。
• そうでなければ Atom と解釈する。
  • 数字のみ場合は数値
  • 二重引用符で囲まれたものは文字列
  • 他はだいたい Symbol として解釈

ここからさらに色々と追加される。

• ";" から行末まではコメント
• "'" がある場合は "(quote 次の S 式)" として解釈する
• "#'" がある場合は "(function 次の S 式)" として解釈する
• 以下の記号は何かしら意味があるらしいが実装していなかったりわからないのでとりあえずパースエラーにしている
  • "`"
    • "," と組合せで "'" の特殊な処理が出来るらしい。
  • ","
  • ":"
    • パッケージの解決に使うらしい。
  • "\"
    • エスケープらしいがよくわからない。
  • "#"
    • 配列（List とは違う）のを扱うらしい。
  • "|"
    • なんじゃらほい

この辺の細かい仕様については解説している資料が殆ど無くて、 非常に断片的にしか情報が得られなかったので結構大変でした。

詳しくはソースを見てもらうとして、簡単に実装方法を説明しておく。

クラスは Parser クラスと Scanner クラスの 2 つになる。

[Lisp処理系を作る] 15日目 インタープリタを作る