[Haskell-cafe] type inference and named fields

[Thomas Hallgren]

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