Jak działa obsługa wyjątków Haskell?

Question

foldl1 (+) [] 

Jak złapać wynikowy błąd?

Answer 1

Czysty kod może rzucić asynchroniczny, imprecise exceptions, na przykład, gdy częściowy funkcja napotka wejście to nie ma sprawy w obsłudze.

Są to błędy logiczne, zwykle wskazujące na błędy w specyfikacji programu.

Mogą zostać przechwycone w kodzie IO (zwykle w zewnętrznej warstwie programu), za pośrednictwem exception handler.

Na przykład, aby złapać brakujące sprawę do pustej listy,

{-# LANGUAGE ScopedTypeVariables #-} 
{-# LANGUAGE BangPatterns  #-} 

import Control.Exception 

main = do 
    handle (\(e :: SomeException) -> print $ "This program as a bug: " ++ show e) $ do 
     let !v = foldl1 (+) ([] :: [Int]) 
     return() 

Możemy zaobserwować, że wyjątek zostanie złapany, a program kończy.

$ ./A 
"This program as a bug: Prelude.foldl1: empty list" 

Answer 2

All you need to know about haskell exceptions (w łatwy odczyt :)

Answer 3

Purist odpowiedź: wynik jest niezdefiniowany (konkretnie bottom). Nie możesz nic z tym zrobić, oprócz awarii, jeśli wartość jest używana w jakikolwiek sposób do budowania wyników programu. Zobacz Haskell 98 Report section 3.1. Określa, że ​​takie "błędy powodują natychmiastowe zakończenie programu i nie mogą zostać przechwycone przez użytkownika".

Najlepiej sprawdzić wartości wejściowe i obsłużyć je, ZANIM osiągną tak daleko. Nie używaj fold1, jeśli lista może zawierać 0 elementów.

W praktyce jednak można użyć metod z innych odpowiedzi, aby złapać go w IO podczas korzystania z GHC. Wyjątki nie mogą zostać przechwycone w czystym kodzie (innym niż IO), ponieważ podniesienie wyjątku jest zmianą w przepływie sterowania, jest efektem ubocznym, a nie czystym obliczeniem.