簡単な OCaml パーサを書いてみてる。関数値と関数適用は引数の有無で判別できる……だったかな（ひさしぶりなので忘れてる）。

冬休みなのでそのうちやろうと思ってたこれをやってます。

[S-8] 関数プログラミング
http://logic.cs.tsukuba.ac.jp/jikken/index.html

let x: int = 1 in x
までできた。なるほど、型検査ってこんな感じなんだなー。

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