TypeInference

型推論に関するメモです。

型推論とは

ある変数の型をプログラマが明示的に書かなくても、言語処理系が自動的に推測してくれる機能。

具体的な仕様は言語によって異なるが、このページではHaskell、MLなどの

参考文献

書籍

• 『型システム入門』
  • 通称TAPL。これを読破すれば型システム関連の論文が読めるようになるぞ
  • 22章
• 『プログラミング言語の基礎理論』
• 『アルゴリズムW』(同人誌)

実装