> Languages with strong type systems won't save you, good procedure will. One of the items in the list of procedures is to use types to encode rules of your s

> Languages with strong type systems won't save you, good procedure will. One of the items in the list of procedures is to use types to encode rules of your system.