4 Sep
2006
4 Sep
'06
3:23 p.m.
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