12 Sep
2015
12 Sep
'15
4:51 p.m.
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.