We saw that typing in Pascal and C failed for several reasons:
Too fine-grained (character vs. character )
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,2008 Mark Dominus|