...now on my laptop...
Peter van Roy wrote:
"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.
Comment on this post [ so far]