zia

"Static typing is to reliable programming what a spelling checker is to a good writer."

(Seen in a message to the mailing list for the Pragmatic Programmers (i.e., Andy Hunt and Dave Thomas).)

Peter van Roy is a co-author of the not-yet-published book "Concepts, Techniques, and Models of Computer Programming" and a big fan of the Mozart Programming System and its underlying Oz programming language.