[Haskell-cafe] type inference and named fields

Thomas Hallgren hallgren at cse.ogi.edu
Sun Jun 26 20:44:10 EDT 2005

Bulat Ziganshin wrote:

>i like O'Haskell because it's very close to traditional OO languages
>in its ways to extend the types. why O'Haskell is not really
>implemented as extension to GHC/Hugs? because it is not compatible
>with System F?
O'Haskell *is* implemented as an extension of Hugs. Google for ohugs.

I don't think you need to abandon System F to support subtyping in a 
compiler. You just need to make the subtyping coercions explicit, 
similar to how overloading is supported by the dictionary translation.

Thomas H

More information about the Haskell-Cafe mailing list