Related link: http://lambda-the-ultimate.org/node/view/1112#comment

Programming language debates often devolve into debates over the value of type systems — and, unfortunately, over meaningless terms. A recent Lambda the Ultimate discussion produced a gem of a post by Scott Johnson that explained several different levels of type safety.

C’s types are superficial… looks right to me!