https://github.com/satos---jp/cpuex_compiler をSelf-Hostingしたいな～
src/compiler, src/lex, src/yacc で make をすると、それぞれ一番上に ./main, ./my_lex, ./my_yacc を出力します。それぞれ ocamlc, ocamllex, ocamlyacc に気持ち対応しています。 テストが test フォルダ内で ./tester.py を叩くと走ります。
lexer( https://github.com/satos---jp/mincaml_self_hosting/tree/master/src/lex )に関してbootstrapが(細かな部分を除いて)できた。(ハズ)
- let多相
- ヴァリアント定義
- パターンマッチ
- String型,Ref型
- Openでのソースコード分割
- lexの実装
- yaccの実装
- 各種ライブラリ(List,String,Lexing,Parsing)の一部
- Openまわりもっとシンプルにする
- Printfの型推論まわりちゃんとやる
- ガベージコレクション
- yaccの precedence
- 多相の値制限(なので現在型推論がボロボロ)
- Sysなどのモジュール追加
- try with