Levi's Lisp Log

MJD on Typing

I've recently had discussions with people on IRC where I've claimed that C is a flawed language. I think that's a pretty reasonable thing to say, and one of the primary flaws as far as I'm concerned is the type system. I don't dismiss the idea of static typing as fundamentally flawed, only the particular implementation in the C language family. I just came across a talk by M-J Dominus that illustrates my point far better than I managed to.