Strong Typing that Works

We saw that typing in Pascal and C failed for several reasons:

• Too fine-grained (character[12] vs. character[13] )

• Spurious warnings => ignored warnings

• Too easy to violate (unions, casts)

• Too coarse-grained (structs)

• Inconvenient to use (explicit types everywhere)

These problems are surmountable!

Next

Copyright © 1999 M-J. Dominus