@vampirdaddy Als Mehrwert von Typen sehe ich, dass bestimmte Klassen von Fehlern unmöglich werden (solange die Typen stimmen), und dass leichter zu erkennen ist, welche Datenstrukturen Funktionen nutzen (automatisch geprüfte Dokumentation).
Hardwarenahe Typen bringen außerdem Effizienz (Typescript nicht).
Aber das hat seinen Preis und ich glaube nicht, dass was ich gerade bei Typescript sehe wirklich das Optimum ist.