YUHA

正誤表 (第一版)

ラムダプラス＋にいくつか誤りが発見されております。ご迷惑をおかけして申し訳ありません。次のとおり修正します。

今回のラムダプラス＋ではわざと「単相型」の説明をしませんでした。紙面の都合および、今回の範囲ではそれほど重要ではない、と思ったからなのですが、やはり説明すべきでした。単相型を省いてしまったために誤った型付けがなされる場合があります。例えば、let f g = let h = g in ... のようなコードを型推論するとき、let h = g in で g は型変数を持っているのですが、現在の定義だと h が多相型になってしまいます。本当は h に forall を付けてはいけません。より詳しい定義は、TaPL を参照していただければと思います。