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

[amindfv at gmail.com]

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 at gmail.com> escribió:

> On 11/09/2015, David Thomas <davidleothomas at gmail.com> wrote:
>> a subtraction operation that returns a different type
> 
> On 12/09/2015, Alexey Muranov <alexey.muranov at 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 at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe