10 Apr
2015
10 Apr
'15
1:25 p.m.
Am 04/01/2015 um 10:43 PM schrieb Chaddaï Fouché:
Why are you putting those type signatures everywhere ? Won't your code compile without them ? It seems to me that absent a strange Change type, all those things can be inferred... Are you doing this as an exercise or because you think it is more readable ?
I had put them there, because I thought QuickCheck needs them. But you're right they are not needed and then my question becomes a non-issue.