
24 Jun
2008
24 Jun
'08
11:51 p.m.
G'day all.
Quoting Isaac Dupree
Is there any practical way we can make this change while still making it possible to compile Haskell98 programs at all?
This is being redirected to haskell-prime, of course, however, while we're on the topic, it needs to be said yet again: It's a severe pain to make class hierarchies more granular if you have to declare an instance for all of them. I support the principle of making Applicative a superclass of Monad. However, I don't want to have to declare an instance for Functor and Applicative just to declare an instance for Monad. There are obvious defaults, and I should be able to get them with no effort, or at the very least, no more effort than a "deriving"-like annotation. Cheers, Andrew Bromage