exception - librerias - palabras reservadas en haskell

¿Cómo lanzar una excepción y salir del programa en Haskell?

Question

Tengo una pregunta: ¿cómo puedo lanzar una excepción y salir del programa? He escrito un ejemplo simple:

-- main.hs
import Test
main = do
Test.foo ""
putStrLn "make some other things"

Aquí está el módulo:

moldule Test where
foo :: String -> IO ()
foo x = do
if null x
then THROW EXCEPTION AND EXIT MAIN else putStrLn "okay"

Quiero comenzar esto y lanzar una excepción y salir del programa, pero ¿cómo?

Answer 1

Bueno, podrías intentarlo

foo :: String -> IO ()
foo x = do
if null x
then error "Oops!" else putStrLn "okay"

O bien, si tiene la intención de detectar el error eventualmente, entonces

import Control.Exception
data MyException = ThisException | ThatException
deriving (Show, Typeable)
instance Exception MyException
...
foo :: String -> IO ()
foo x = do
if null x
then throw ThisException else putStrLn "okay"

A menudo hay más mecanismos de haskelly que puede usar, como devolver valores empaquetados en el tipo Maybe o alguna otra estructura que describa el fallo. Las excepciones parecen encajar mejor en los casos en que la devolución de tipos complicados complicaría demasiado las interfaces reutilizables.