[Haskell-cafe] what I learnt from my first serious haskell programm

David House dmhouse at gmail.com
Mon Mar 19 17:42:28 EDT 2007


On 19/03/07, Fawzi Mohamed <fmohamed at mac.com> wrote:
> Vectors don't act like numbers, a vector space is not a field, even if
> they have some common operations.

As I said in my previous email, this is because Num is too big. We
need to split it down, but there's no sane way of doing this without
your average numeric function needing about a thousand different
constraints on it. Type class synonyms [1] look promising, but
no-one's implemented them yet AFAIK.

[1]: http://repetae.net/john/recent/out/classalias.html

-- 
-David House, dmhouse at gmail.com


More information about the Haskell-Cafe mailing list