Algorithm W
Algorithm Wは let多相 をもった型システムにおける型推論アルゴリズム。 TaPL の22章で紹介されているものと違うのは、明示的に型注釈をつけることを許していなくて、完全な型無しラムダ項に主要型を割り当てる。
AlgorithmWに加えて、AlgorithmMという推論アルゴリズムを実装している。ちゃんと読んでないけど、AlgorithmWがtop-downなアプローチなのに対して、AlgorithmMがbottom-upなアプローチだとか書いてある。
参考文献