hs2bf - 謎の型推論 - ⊥=⊥

そろそろCoreに変換するのですが、このあたりで型のアノテーションの方法(全ての部分式? 型変数の扱い?)をしっかり考えておかないと後で悲惨なことになりそうです。 そこで型推論のやりかたを調べてみます。 前置き: Hindley-Milner 型システムとAlgorithm W? Hindley-Milnerはよく耳にする言葉ですが「Sytemなんとか」も聞いたことがあるような気がします。 ちょっと調べてみると、lambda cubeというもので型システムを分類できるそうですが Introduction to generalized type systems 残念なことに私にはさっぱり分かりません。正攻法は諦めて、情報の断片的から適当に考えるいつもの方法でいきましょう。 気を取り直して・・・ 例えば f x x の型を調べたいとします(fとxについては何も分かっていないとします)。 部分式