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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe