
25 Mar
2005
25 Mar
'05
9:21 a.m.
Simon Marlow wrote:
Here's some good background reading that Google turned up:
http://www.cs.chalmers.se/~rjmh/Haskell/Messages/Display.cgi?id=444
Interesting.
I think this was part of the original Haskell 98 discussion.
Yes. The message still appears under "Questions on the table", see http://www.cs.chalmers.se/~rjmh/Haskell/, so I guess no decision was made... I noted the following paragraph in particular: The "Functor a => Monad a" relationship is also "justifiable" because you can implement "map" using ">>=" and "return". I argued against having this relationship while on the Haskell 1.{3,4} committee - but I think that was a mistake. Perhaps the time has come to correct the mistake. -- Thomas H