Che cos'è parse-dont-validate?
Revisione del codice e supporto alla progettazione basati sul principio "Parse, don't validate". Converte modelli di convalida (controlla e scarta il risultato) in modelli di analisi (mantiene il risultato del controllo come tipo), promuovendo progetti che impongono invarianti tramite il sistema di tipi. Da utilizzare per migliorare le funzioni di convalida durante la revisione del codice, la nuova implementazione o il refactoring. Linguaggi di destinazione: Rust, Haskell, TypeScript, Scala, Java, Go, Python. Attivato da richieste relative alla sicurezza dei tipi come "migliorare la convalida", "garantire con i tipi", "correggere l'analisi del fucile", "prevenire stati non validi con i tipi" o "ridurre Forse". Fonte: j5ik2o/okite-ai.