Re: [Haskell-cafe] Thoughts about redesigning "Num" type class

In case you haven't seen it, "vector-space" provides a good representation of affine spaces, additive groups, etc El Sep 12, 2015, a las 4:51, M Farkas-Dyck escribió:

On 11/09/2015, David Thomas wrote:

...

a subtraction operation that returns a different type

On 12/09/2015, Alexey Muranov wrote:

...

My 2 cents: the difference of two points in an affine space is a vector, the sum of a point of an affine space and a vector is another point.

This would mean multi-parametre type classes or type families, so we'd need to canonicalize them first, which seems unlikely in near future at least. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe