/ / GHCは危険な非トータル関数の使用について警告することはできますか? - haskell、エラー処理、クラッシュ、ghc、コンパイラ警告

GHCは危険な非トータル機能の使用について警告することはできますか? - haskell、エラー処理、クラッシュ、ghc、コンパイラ警告

私はハスケルでいくつかのコードをすばやく書いており、危険な非トータル関数、つまり fromJust (私は入力から値を期待しています)。私は後でどのような種類のエラー処理スタイルを使用したいか考えています。

GHCは、危険な非総計関数のすべての使用を取り除いていることを確認するのに役立つことができますか? fromJust または head、クラッシュする可能性があります)、私に警告を与えてください。

回答:

回答№1の場合は3

GHCは部分パターンの定義について警告することができます。 -fwarn-incomplete-patterns (ただし、不完全なパターンを含む値の使用については警告しません)。さらに、Neil Mitchellの キャッチ 部分的な機能の安全で安全でない呼び出しを識別するために、少し詳細な分析を試みます。 (もちろん、それは一般的に決めることのできない問題なので、いつも正しいです!)