GHC可以警告使用危险的非全功能吗？

Question

我一直在Haskell中快速编写一些代码,并使用了一个危险的非总函数,即fromJust(我希望输入的值).我稍后会想到我想要使用什么样的错误处理方式.

GHC可以帮助我确保我已经摆脱了危险的非全部功能的所有用途(比如,fromJust或者head,可能会崩溃),给我警告他们在哪里.

Answer 1

GHC 可以警告带有部分模式的定义-fwarn-incomplete-patterns（尽管不会警告使用包含不完整模式的值）。此外，Neil Mitchell 的catch尝试进行稍微更详细的分析，以识别部分函数的安全和不安全调用。（当然，这通常是一个无法判定的问题，所以它并不总是正确的！）