>>944
卒研リンク(泣)....

型推論の説明してる本だったら、
必ず触れてる話だと思うよ。

例えば岩波の本。