なぜこのコードは例外をスローする代わりにNothingを返します

Question

次のコードが返される理由を教えてくださいNothing insteaf od exception "zero"？

Just 0 >>= (\ x -> if (x == 0) then fail "zero" else Just (x + 1)) 

Answer 1

あなたはMonadのMaybeインスタンスを使用しているため。このインスタンスはfailをNothingと定義します。