構文解析器を実装する

[kaitokimuraofficial]

New Feature Issue

What

新しく実装したい機能や実現したいこと

• lexer.goで実装した字句解析器の結果を受け取る、構文解析器を実装する

Why

実現したい理由、現在抱えている問題

• 構文解析の主たる実装は、goyaccを利用することにする
  • 構文解析器を１から実装するのは、工数的に厳しいから

TODO

Whatを達成するためにすべきこと

• [x] パースした結果に現れる型や構造の情報をGolangで表したプログラム(抽象構文木)であるast.goを実装する
• [x] goyaccの文法に沿ったparser.go.yを実装する
  • [x] yaccの文法に従って、文法規則を記述する
  • [x] 各文法規則が解釈されたときのコールバックを記述する
• [x] テストを作成して、パスすることを確認する
• [x] 入力文字列の受け取りから、構文解析までを行うプログラムをmain.goに書く

Others

その他に、特筆しておきたいこと

• 特になし

Refs

このissueに関連するリンクなど

• Go言語で作るインタプリタの第2章
• https://pkg.go.dev/cmd/yacc
• https://qiita.com/draftcode/items/c9f2422fca14133c7f6a
• https://kuis-isle3sw.github.io/IoPLMaterials/textbook/chap03-2.html
• https://kuis-isle3sw.github.io/IoPLMaterials/textbook/chap03-3.html

[kaitokimuraofficial]

構文解析するシンタックス

https://github.com/kaitokimuraofficial/go_type_inference/issues/1#issuecomment-2461219783 にもあるように

P ::= e ;;
b ::= true | false
e ::= <識別子> | <自然数リテラル> | b | e op e |  if e then e else e |  ( e )
op ::= + | * | <

である