Názor k článku Programovací jazyky z vývojářského pekla od Radek Miček - Vlastně ani nevím zda existuje nějaký imperativní (nebo...

Vlastně ani nevím zda existuje nějaký imperativní (nebo imperativně-OOP) jazyk s opravdu dobrým typovým systémem...

Otázkou je, co je to dobrý typový systém? Například typové systémy se silnými vyjadřovacími schopnostmi mají obvykle horší typovou inferenci.

Nebo typové systémy pro relační databáze mohou být v některých situacích horší než typové systémy pro XML nebo pro numerickou matematiku, v některých situacích zase mohou být lepší.