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