Entries published on April 1, 2007

1 entry published on this date. See also: all entries published in April 2007, latest entries.

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 ...

Entry published April 1, 2007. Read full entry.