September 22, 1999 | Strong Typing | Slide #26 |
ML has a lot of unspectacular successes.
For example, writing the first function we saw a little while back, I left out some parentheses, and the typechecker caught it.
Programming in ML is pleasant
No type declarations---everything is automatic
You get quite a few type errors (darn!)
But every error indicates a real, serious problem
Not like lint or C or Pascal.
Next | Copyright © 1999 M-J. Dominus |