Re: [Haskell-cafe] type inference and named fields

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