[Haskell-cafe] type inference and named fields
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.
More information about the Haskell-Cafe