Auf Wiedersehen, mysteriöse Typfehler: Wie PolySubML die Fehlermeldungen der Typinferenz verbessert

PolySubML ist eine Programmiersprache, die globale Typinferenz mit Subtyping und fortgeschrittenem Polymorphismus kombiniert. Dieser Beitrag untersucht, wie PolySubML gute Typfehlermeldungen gestaltet und erklärt, warum bestehende Sprachen in der Verbesserung von Fehlermeldungen der Typinferenz oft zu kurz greifen. Der Autor schlägt fünf Regeln vor: 1. Niemals raten oder zurückverfolgen; 2. Keine voreiligen Schlüsse ziehen; 3. Den Benutzer um Klärung bitten; 4. Den Benutzer erlauben, explizite Typannotationen zu schreiben; 5. Keine statische Typinferenz im Laufzeit-Ausführungsmodell verwenden. Durch die Befolgung dieser Regeln behebt PolySubML erfolgreich viele häufige Probleme mit der Typinferenz und verbessert die Debug-Fähigkeit des Codes deutlich.