pi8027/typeinfer — Issue #28: 3.3.1 アルゴリズム
Author: cutsea110
Created: 2011-11-08 06:57:13+00:00
State: open

> 多相を導入する項、即ちlet 項を全て簡約してしまえば、多相性がどこにも現れない実
> 行の意味で等価な項が得られるはずです。

実行の意味で云々の部分が良く分かりません。
いわんとすることは、多相がどこにも出現しない項にすることなのだとは思うのですが。