Hallo Christian,
Es ist aber interessant, dass sich trotz deiner Argumentation, sich Sprachen wie C++ durchgesetzt haben. Hmm…
Naja, die Typen-Theorie ist eine Sache der „Neuzeit” (haha!) in der Computer-Technik. Damals[tm] konnte man das erstens gar nicht umsetzen (mangels Rechenzeit) und zweitens waren die theoretischen Grundlagen noch nicht vorhanden. Dazu kommt, dass man noch nicht so viel Erfahrung in komplexer Software-Entwicklung hatte.
LG,
CK