Объясните: «C принципиально имеет коррумпированную систему типов»

В книге Coders at Work (p355) Гай Стил говорит о C ++:

Я думаю, что решение должно быть обратная совместимость с C фатальна недостаток. Это просто набор трудностей это невозможно преодолеть. С принципиально имеет коррумпированный тип система . Достаточно хорошо, чтобы помочь тебе избежать некоторых трудностей но это не герметичен, и на это нельзя рассчитывать

Что он имеет в виду, описывая систему типов как «поврежденную»?

Можете ли вы продемонстрировать на простом примере на C?

Править :

1. Цитата звучит полемично, но я не пытаюсь. Я просто хочу понять, что он имеет в виду.

2. Приведите примеры на C , а не на C ++ . Меня тоже интересует «фундаментальная» часть :)