7-4. Type Checking for Functions
http://logic.cs.tsukuba.ac.jp/jikken/type-fun.html

7-4 のあたりまで進んだ。最初なのでゆるくやっていて、CPSとかは後回しにしてる。

7-5. Type Inference
http://logic.cs.tsukuba.ac.jp/jikken/type-inf.html

7-5 まで進んだ。

kuis-isle3sw/IoPLMaterials: Materials for the class "Implementation of Programming Languages" in Kyoto University.
https://github.com/kuis-isle3sw/IoPLMaterials

あー……こっちでやればよかった（知ってたのに忘れてた）

unify, ちょっと雰囲気が分かってきた。ちょっとだけ。

木を辿りながら、構造が一致する部分ごとに比較用の対（等式）を作って、型代入を更新していく

とりあえずテストが通る実装できたけど理解が全然追いついてない

こういうログを出してにらめっこする

let x = 1 in x の推論できた。 Plus を踏まえた形にしてみたけどこれで合ってるのかまだよく分からず。

MinCaml Source Code
http://esumii.github.io/min-caml/min-caml.html#typing_g

typing.ml 短いなー

『プログラミング言語の基礎概念』の型推論の章を読み返したら知りたかったことが書かれてた

> さて，上に示した型推論アルゴリズムは、方程式を全て求めてから、それをまとめて解く（単一化する），というものになっているが，方程式の生成と単一化を少しずつ交互に行うようなアルゴリズムとして定式化することも可能である．

『プログラミング言語の基礎概念』 p168

（今の自分には）前者の方が考え方としては分かりやすい気がする。後者は実装・実用上の都合なのかな。

「型推論」特別講義 (プログラミング言語の基礎理論シリーズ） - YouTube
https://www.youtube.com/playlist?list=PLp1bKoc7XHdTJJMj7SLn8rzhQ50lvJbAA

リストはこっち

mal を拡張する形で型推論部分を作るルートもよさそう

stdin/out とやりとりする組み込み関数 read, write を追加して (write (read)) が動くようになった

do も追加して1バイトずつ読み書きするだけの cat が動いた

(letrec
f
(fun ()
(let n (read)
(if (= n -1)
0 ;; EOF
(do
(write n)
(f)))))
(f))

やっぱりめんどくさくなったのでパーサは後回しにしてとりあえずS式で。