/ / ¿Puede GHC advertir acerca de los usos de las funciones peligrosas no totales? - haskell, manejo de errores, bloqueo, ghc, advertencias del compilador

¿Puede GHC advertir acerca de los usos de las funciones peligrosas no totales? - haskell, manejo de errores, bloqueo, ghc, advertencias del compilador

He estado escribiendo rápidamente un código en Haskell, y usé una función peligrosa no total, concretamente fromJust (donde espero un valor de entrada). Después pensaré qué tipo de estilo de manejo de errores quiero usar.

¿Puede GHC ayudarme a asegurarme de haber eliminado todos los usos de funciones peligrosas no totales (como fromJust o head, que podría bloquearse), dame advertencias donde están.

Respuestas

3 para la respuesta № 1

GHC puede advertir acerca de las definiciones con patrones parciales con -fwarn-incomplete-patterns (aunque no advierte sobre el uso de valores que incluyen patrones incompletos). Además, Neil Mitchell "s captura intenta un análisis un poco más detallado para identificar invocaciones seguras e inseguras de funciones parciales. (Aunque, por supuesto, ese es un problema indecidible en general, ¡así que no siempre estará bien!)