On 02/11/2010 8:16 PM, Conal Elliott wrote:
> Vector (Complex a) is a vector with respect to both 'a' and 'Complex a'.
Even worse, () is a vector w.r.t. *every* scalar type.
Why is this bad? () is the canonical 0-dimensional vector space.
0-dimensional vector spaces are very useful because they allow quite a
number of linear algebra algorithms to be stated ``inductively'' with no
funny special cases.
Jacques
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
