3 ms·
You still have a precondition encoded in the parameter type. It's just a precondition for the programmer to see and understand, rather than one for the machine
by jbri 15y ago
You still have a precondition encoded in the parameter type. It's just a precondition for the programmer to see and understand, rather than one for the machine to rigorously enforce.