学部３年生のときのいろいろな意味でひどい文書（自作CPUへのGCC移植）が最近になって参照されている。今さら消せない…。ひー。

しばらくつまらない問題＆解答ばかりだったので、もう少し面白いやつを。存在型と再帰関数のある多相λ計算で、次の2つの値は文脈等価でしょうか？ できれば証明ないし反例も。 v1 = pack (unit, λf:unit→unit. (f (); true)) as τ v2 = pack (bool, λf:bool→…