On Mon, 26 Mar 2007 09:20:59 +0100 Simon Peyton-Jones <[EMAIL PROTECTED]> 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
signature.asc
Description: PGP signature
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
