Simon Marlow simonmar at microsoft.com
Mon Sep 4 11:23:00 EDT 2006

On 02 September 2006 06:29, Ashley Yakeley wrote:

> I'd also like to query O'Haskell here. Simon writes in the paper:
>> O'Haskell extends Haskell with object-oriented subtyping.
>> As such, it would be entirely possible to implement extensible
>> exceptions using inheritance in O'Haskell.
> I believe O'Haskell (like OOHaskell) doesn't provide the required
> dynamic downcasting operation either. AFAICT the extensions are
> essentially syntactic sugar: the subtyping is strictly static.

Good point; thanks for spotting that.


More information about the Haskell-prime mailing list