[Haskell-cafe] What ever happened to Haskell 98 as a "stable
genneth at gmail.com
Mon Mar 26 06:45:54 EDT 2007
On Mon, 26 Mar 2007 09:20:59 +0100
Simon Peyton-Jones <simonpj at 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...)
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 189 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20070326/ec3c29f9/signature.bin
More information about the Haskell-Cafe