¿Cuál es la alternativa a las excepciones en una recursividad profunda de Haskell?

Question

Estoy tratando de aprender Haskell escribiendo pequeños programas ... así que actualmente estoy escribiendo un analizador/analizador para expresiones simples. (Sí, podría usar Alex/Happy ... pero primero quiero aprender el lenguaje central).

Mi programa de análisis es esencialmente un conjunto de funciones recursivas que construir un árbol. En el caso de los errores de sintaxis, normalmente lanzaría una excepción (es decir, si estuviera escribiendo en C#), pero eso parece desanimado en Haskell.

Entonces, ¿cuál es la alternativa? Realmente no quiero probar los estados de error en cada bit del analizador. Quiero terminar con un árbol de nodos válido o un estado de error con detalles.

Answer 1

Para un cálculo que podrían fallar con detalles sobre por qué failes, está el tipo Either a b, por ejemplo, Either ErrorDetails ParseTree, por lo que su resultado podría ser Right theParseTree o Left ErrorDetails. Puedes hacer coincidir patrones con estos constructores en tu función recursiva y si hay un error, lo pasas; de lo contrario, continúa como de costumbre.

Answer 2

Haskell proporciona los Maybe y Either tipos para esto. Dado que desea devolver un estado de error, Either parece ser lo que desea.