Entries published on April 1, 2007
The types will save us!
So, that went over well. My goal was simply to point out that strong and static typing are not the same thing (and, correspondingly, that weak and dynamic typing are not the same thing), and somehow the comment thread got derailed into people trotting out exotic type systems and theoretical work to try to prove… well, I’m not sure exactly what they want to prove. But one big thing that seems to be causing trouble is this statement:
a common myth of some type systems is “if it passes type checks, it must be correct”. Most people who fall into …