What is Type Safety Anyway?

by chromatic

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!