『俺々言語にだって型推論が欲しい！』
https://booth.pximg.net/4732b30e-fad5-4d02-90e8-2505e5c47d27/i/1317485/d0bc8011-4d5d-4655-80a4-2ce8d7252a3b_base_resized.jpg
1章
キソ
2章
3章
型環境、項、型、$ \phi, \{\}の5つ組？
制約
6章
実装した
いまいち何をやっているのか理解できていない
型環境と項を引数にとり、5つ組の残りを返却する関数constraintTypeを実装している
これを使えば、本の上の方に書かれてある規則なども出力させることができる？
どのへんが型推論なのか
連立方程式をといているのか
7章