Hör auf, Errors zu werfen, die dein Type-Checker nicht sehen kann
Geworfene Exceptions verstecken Failure-Pfade vor deinem Typsystem. Hier ist, warum explizite Error-Returns deinen Code ehrlicher machen – und wie du sie übernimmst, ohne dein Leben zu hassen.
Deine Funktionssignatur sagt, sie gibt einen zurück. Tut sie nicht. Sie gibt einen zurück, oder sie explodiert. Das Typsystem weiß einfach nichts von dem…