Почему типы так много значат для программистов?

Чертовски нудное вступление, теряющее смысл там, где программирование приходит к операциями над указателями (pointer, **).

За ссылку в стиле "Lisp жив" спасибо,- но я как-то и не сомневался, что lisp в той или иной степени до сих пор работопригоден.

PS Защита сегментов в ОП компьютера (сегмент данных, сегмент кода,...) чем-то сродни динамической типизации (в плане того, что есть дескриптор: "тут мы играем, а тут пятно - мы рыбу заворачивали" )... Но это скорее - в область шуток и баек ;)

В то время как инженеры-строители иногда говорят о разных типах цемента, программисты, похоже, используют слово ежедневно.

Один только ГОСТ 31108-2003 описывает больше марок цемента, чем типов данных во всем С ;)