[mafribe]

Thanks.

Type inference for types of rank > 2 is undecidable, how does this go together with the claim that Frege has type inference? I'm not a Haskell expert, but I think the

    {-# LANGUAGE RankNTypes #-} 

extension enables HRTs in Haskell too.

[voxfrege]

Type inference for higher ranks is in fact undecidable, but not type checking. Hence, exactly like in Haskell with RankNTypes, you need to annotate your higher rank functions.

Actually, the Frege compiler employs an algorithm described in Simon Peyton-Jones paper "Practical Type Inference for Higher Ranked Types". Ordinary HM types are inferred, and higher ranked types checked.

[mafribe]

Thanks. It's great to have basically Haskell on the JVM. I'll give it a try.