Defaults for superclass methods
ashley at semantic.org
Thu Apr 13 16:23:39 EDT 2006
Simon Marlow wrote:
> If it's not clear which is the right way to go, then yes I guess that
> does rule it out. Could you summarise the proposals? If there was a
> clear winner, and it was easy enough to implement, perhaps we can knock
> up a prototype in time.
> The reason being I just hit a case where this would be useful, while
> trying to find a nice way to express extensible exceptions.
If we're going to do this, we should make Functor a superclass of Monad.
This is a well-known and annoying wart in the standard libraries that
has not been fixed only because there's no superclass default mechanism.
Ashley Yakeley, Seattle WA
More information about the Haskell-prime