pi8027/typeinfer — Issue #32: 3.4 パラメトリック多相の 例の型
Author: cutsea110
Created: 2011-11-08 23:05:32+00:00
State: open

λa . let f = λb.(a,b) in (f,f)の型がα→(γ→(α×γ)×δ→(α×δ))がすぐにピンとこなくて処理系で試してようやく分りました。
多分、型の表現における×と→の優先順位が明確になってないためかと思います。

α→( ( γ→(α×γ) ) × ( δ→(α×δ) ) )

だと分れば勿論なんてことないんですが、

α→( γ→ ( (α×γ)×δ ) → (α×δ) ) )

と読んでしまたっために？？となってしまいます。