September 22, 1999 Strong Typing Slide #26

Life with ML

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



Next Copyright © 1999 M-J. Dominus