Hindley Milnerで表現することができないsystem-fのタイプや用語は何ですか

Question

Hindley Milnerがsystem-fの制限事項を読んだことを覚えています。そうであれば、誰かが私がsystem-fで入力することができるが、HMでは入力できないいくつかの用語を私に提供してもらえますか？

Answer 1

上位ランク（すなわち、「ファーストクラス」）の多型を含むもの。たとえば：

lambda f : (forall A. A -> A). (f Int 1, f String "hello") 

この機能は、すべてのポリモーフィック型のスキームが「prenex」形式（つまり数量詞は外側だけで発生する可能性がでなければなりませんHMで表現できませんタイプ(forall A. A -> A) -> Int * Stringを、持っているだろう、ネストされたことはありません）。