28 Feb
2021
28 Feb
'21
8:52 a.m.
On Sun, Feb 28, 2021 at 09:38:17AM +0100, Ben Franksen wrote:
Am 24.02.21 um 11:17 schrieb Tom Ellis:
It is a rare problem that gets simpler by the addition of type classes.
I disagree that this is a rare problem. It is a pervasive problem. It crops up almost everywhere, at least that is my personal experience. And I think Section 2 of the "Partial Type Constructors" paper shows that my experience is not particularly unusual.
I think I must have use language that was unnecessarily confusing. My meaning was "Only rarely is a problem simplified by the addition of typeclasses" Tom