Was ist parse-dont-validate?
Codeüberprüfungen und Designunterstützung nach dem Prinzip „Parsen, nicht validieren“. Konvertiert Validierungsmuster (Prüfen und Verwerfen) in Analysemuster (behält das Prüfergebnis im Typ bei) und fördert so Designs, die Invarianten über das Typsystem erzwingen. Zur Verbesserung der Validierungsfunktionen bei Codeüberprüfungen, neuen Implementierungen oder Refactorings. Zielsprachen: Rust, Haskell, TypeScript, Scala, Java, Go, Python. Ausgelöst durch Typsicherheitsanforderungen wie „Validierung verbessern“, „Mit Typen erzwingen“, „Shotgun-Parsing korrigieren“, „Ungültige Zustände mit Typen verhindern“ oder „Vielleicht reduzieren“. Quelle: j5ik2o/okite-ai.