|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|