/ / O GHC pode alertar sobre o uso de funções perigosas não totais? - haskell, tratamento de erros, crash, ghc, avisos de compilador

O GHC pode alertar sobre o uso de funções perigosas não totais? - haskell, tratamento de erros, crash, ghc, avisos de compilador

Eu tenho escrito rapidamente algum código em Haskell, e usei uma função não-total perigosa, fromJust (onde eu espero um valor de entrada). Eu vou pensar mais tarde que tipo de estilo de tratamento de erros eu quero usar.

O GHC pode me ajudar a me certificar de que me livrei de todos os usos de funções perigosas não totais (como fromJust ou head, que poderia falhar), me dê avisos onde eles estão.

Respostas:

3 para resposta № 1

O GHC pode avisar sobre definições com padrões parciais -fwarn-incomplete-patterns (embora não avise sobre usos de valores que incluem padrões incompletos). Além disso, Neil Mitchell "s pegar tenta uma análise um pouco mais detalhada para identificar invocações seguras e inseguras de funções parciais. (Embora, é claro, esse seja um problema indecidível em geral, então ele não estará sempre certo!)