Types as Comments


Steve Yegge is at it again. This time he's taking on modeling:

Well, we also know that static types are just metadata. They're a specialized kind of comment targeted at two kinds of readers: programmers and compilers. Static types tell a story about the computation, presumably to help both reader groups understand the intent of the program. But the static types can be thrown away at runtime, because in the end they're just stylized comments. They're like pedigree paperwork: it might make a certain insecure personality type happier about their dog, but the dog certainly doesn't care.

If static types are comments, then I think we can conclude that people who rely too much on static types, people who really love the static modeling process, are n00bs.
From Stevey's Blog Rants: Portrait of a N00b
Referenced Mon Feb 11 2008 17:02:45 GMT-0700 (MST)

Yeah, it's a long one--but it's worth the read if you're interested in programming language design, programming language choice, types, or modeling. It's especially nice if you're a dynamic language aficionado since it will make you feel vindicated!