
2 Oct
2016
2 Oct
'16
1:58 a.m.
On Sep 30, 2016, at 6:36 PM, Baldur Blöndal
wrote: Shot in the dark: Would extensions like QuantifiedConstraints or ImplicationConstraints, if implemented, help with ImpredicativeTypes?
I don't think so. The challenge with ImpredicativeTypes is retaining predictability of type inference, and I don't see how implication constraints helps with this. Richard