/ / GHC peut-il avertir des utilisations de fonctions dangereuses non totales? - haskell, gestion des erreurs, crash, ghc, avertissements du compilateur

GHC peut-il avertir des utilisations de fonctions non totales dangereuses? - haskell, gestion des erreurs, crash, ghc, avertissements du compilateur

J'ai écrit rapidement du code dans Haskell et utilisé une fonction non totale dangereuse, à savoir fromJust (où j'attends une valeur de saisie). Je vais réfléchir plus tard au type de gestion des erreurs que je veux utiliser.

GHC peut-il m'aider à m'assurer que je me suis débarrassé de toute utilisation de fonctions non totales dangereuses (comme fromJust ou head, qui pourrait tomber en panne), donnez-moi des avertissements là où ils se trouvent.

Réponses:

3 pour la réponse № 1

GHC peut avertir des définitions avec des schémas partiels avec -fwarn-incomplete-patterns (mais n'indique pas les utilisations de valeurs qui incluent des modèles incomplets). De plus, Neil Mitchell "s capture tente une analyse légèrement plus détaillée pour identifier des invocations sûres et dangereuses de fonctions partielles. (Bien sûr que c’est un problème indécidable en général, alors ça ne va pas toujours!)