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 <strake888@gmail.com> escribió:
On 11/09/2015, David Thomas <davidleothomas@gmail.com> wrote:
a subtraction operation that returns a different type
On 12/09/2015, Alexey Muranov <alexey.muranov@gmail.com> 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