3 ms·
The return type of your function is too broad: It should be the "type of integers which can be proven to be the sum of a and b". That sounds like a joke but it
by omaranto 10y ago
The return type of your function is too broad: It should be the "type of integers which can be proven to be the sum of a and b".
That sounds like a joke but it's what going overboard with dependently typed programming languages is like.