ハスケルでOcamlの「try ... with」

Question

私の質問：ハスケルには "try with"同等のものがありますか？

 
try 
{ 
head l 
} 
with 
Failure _ -> [] 

tryの操作が失敗した場合は、エラーとパターンが一致し、セクションで適切なジョブを実行しますか？

Answer 1

ほとんどの場合、関数と合計関数を使用して同じことを達成できます。あなたの例：

fromMaybe [] (listToMaybe l)

Answer 2

あなたは本当に、全機能を介して、このようなエラーを回避する必要があります。関数がエラーを返すことができる場合は、戻り値の型をEither e aにします。ここで、eは例外の型で、aは正常に型です。例外に関する情報を渡す必要がない場合は、Maybe aを返すことができます。 Control.ExceptionだけIOモナドで、このような処理を行うことができるというコストで、tryまたはcatchを経由してエラーをキャッチするためのいくつかの施設を持っている、と述べた

。 GHCiのではあなたがこれを見ることができます：、

case l of 
    [] -> [] 
    x : _ -> x 

をより一般的に使用：直接パターンマッチングを使用しても

foldr const [] l 

をまたは：

ghci> import Control.Exception 
ghci> catch (head []) (\msg -> putStrLn $ "caught: " ++ show (msg :: SomeException)) 
caught: Prelude.head: empty list 

Answer 3

をこのような単純なケースでは、あなただけのfoldr使用することができますMaybeまたはEitherは、他の人が示唆しているように、よりモジュラーなコードを作ることができます。エラーをモナディック計算に統合するには、MaybeTとExceptTの型とMonadErrorの型をチェックするとよいでしょう。