On Mon, 26 Mar 2007 09:20:59 +0100 Simon Peyton-Jones <simonpj@microsoft.com> wrote:
| [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