3 ms·
That’s a good point, but often a type signature constrains the possible programs to such a degree that there is only one nonsensical program that can be written
by mruts 8y ago
That’s a good point, but often a type signature constrains the possible programs to such a degree that there is only one nonsensical program that can be written with that signature.
- foldr 8y agoThat's rarely the case for effectful code, which is where you'd typically see multiple monadic type class constraints.