Some languages achieve error checking by type transforms and pattern matching, which are much more effective and efficient than error checks after every functio

Some languages achieve error checking by type transforms and pattern matching, which are much more effective and efficient than error checks after every function call