19 Mar
2007
19 Mar
'07
5:42 p.m.
On 19/03/07, Fawzi Mohamed
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@gmail.com