The advantages of types in programming languages are well known. Most computer scientists assume without thought that types should also be used in a specification language. Giving it some thought reveals that types are not as benign as they may seem. Types are not necessary, and untyped set theory provides a powerful, convenient basis for a specification language -- even one with types.
Back to LESSLast modified: November 9, 1998