26 Mar
2007
26 Mar
'07
6:45 a.m.
On Mon, 26 Mar 2007 09:20:59 +0100
Simon Peyton-Jones
| [Conjecture 1 (2007). Haskell Mathematical Prelude and Mathematicians] If | Haskell had a mathematically sound prelude then more mathematicians would | use Haskell.
A mathematically sound Prelude would be great. Go for it!
Unfortunately, we currently do not possess all the operations that mathematicians like to perform when making up new structures. In particular I can think of quotient types, which just causes a world of pain when it comes to decently implementing them. Sometimes, you can implement something that acts as that type (e.g. Set ~== List/Eq), but sometimes it's just not possible (Monad Product -- I can't remember what that paper was called now...) Gen