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