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

M Farkas-Dyck strake888 at gmail.com
Sat Sep 12 08:51:53 UTC 2015

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.

More information about the Haskell-Cafe mailing list