ハスケルの安全なアプリケーション

Question

私は、リストのモナドの中で関数が適用されるコードを持っています。関数は、その引数に対して非網羅的パターンマッチングを潜在的に持つことがあります。したがって、この機能を適用すると、"Non-exhaustive pattern matching"エラーが発生することがあります。私はこのエラーをモナドに失敗させたい（この場合は空のリスト）。言い換えれば、ブロック内のSome Pattern Here <- some valueブロックが失敗したときに起こることと同様の動作をしたいと思います。

質問：効率的な関数アプリケーションを安全にする方法はありますか？効率的には、適用された関数を徹底的に一致させて明示的に失敗させることに類似したものを意味します。

Answer 1

1つのオプションは、spoonを使用して、例外をスローする関数からMaybe a値を返す関数に変換することです。次に、Nothingを[]に変換するだけの簡単な問題です。

Answer 2

ハム、おそらくキャッチと？ただしIOモナドで動作するはずです：

import Prelude hiding (catch) 
import Control.Monad (MonadPlus, mzero) 
import Control.Exception (catch, SomeException) 

data B = T | F 
    deriving (Show) 

f :: B -> B 
f T = F 

justCatch :: (MonadPlus m) => a -> IO (m a) 
justCatch x = catch (x `seq` (return . return) x) handler 
    where 
    handler :: (MonadPlus m) => SomeException -> IO (m a) 
    handler _ = return mzero 

私はこのソリューションの潜在的な問題についてはよく分かりません。一見それはうまくいくようですが、知識のあるハスケラーの意見も読んでみたいと思います。 私はではない私のコードでこの解決策を確実に使用してください。エラーは、それを隠すことなくそのまま扱うべきです。

*Main> justCatch $ f T :: IO [B] 
[F] 
*Main> justCatch $ f F :: IO [B] 
[] 
*Main> justCatch $ f F :: IO (Maybe B) 
Nothing 
*Main> justCatch $ f T :: IO (Maybe B) 
Just F 
*Main> f T 
F 
*Main> f F 
*** Exception: except.hs:8:1-7: Non-exhaustive patterns in function Main.f