/ / È possibile che GHC avvisi sugli usi di funzioni non totali pericolose? - haskell, gestione degli errori, crash, ghc, warning del compilatore

GHC può avvertire circa l'uso di funzioni non totali pericolose? - haskell, gestione degli errori, crash, ghc, warning del compilatore

Ho scritto velocemente un codice in Haskell e ho usato una funzione non totale pericolosa, vale a dire fromJust (dove mi aspetto un valore dall'input). Ho intenzione di pensare più tardi che tipo di stile di gestione degli errori voglio usare.

GHC può aiutarmi ad assicurarmi di aver eliminato tutti gli usi delle funzioni non totali pericolose (come fromJust o head, che potrebbe bloccarsi), avvertimi dove sono.

risposte:

3 per risposta № 1

GHC può mettere in guardia sulle definizioni con schemi parziali con -fwarn-incomplete-patterns (sebbene non avvisi sugli usi dei valori che includono pattern incompleti). Inoltre, Neil Mitchell "s catturare tenta un'analisi leggermente più dettagliata per identificare le invocazioni sicure e non sicure delle funzioni parziali. (Anche se ovviamente è un problema indecidibile in generale, quindi non ha sempre ragione!)