JavaScript による型推論器の実装

型推論に興味はあるけど、抽象的な説明が多く難しそうだと思っている方々。基礎的なことを押さえておけば、型推論器は簡単に実装できます。
ここでは、私が JavaScript で書いた型推論器を例に、型推論の基本的なアルゴリズムの一例を具体的に説明していきます。解説対象は、ibis-js-1.0.0です。
型推論の可視化ツールを使いながら読むとよりわかりやすいかもしれません。

目次

1. 型変数と単一化
2. 多相型
3. let と let rec
4. バリアント型