Buenas,
Quería consultar en este caso, cual seria la justificación correcta para que la opcion d no cambie a todos los literales por 0, entiendo que seria porque le estamos pasando funciones MUL y ADD que no serian aritmeticas?
Hola,
La opción d no debería compilar, dado que en uno de los casos (const 0) retorna un entero y en los demás un Exp.
Para hacer lo que se dice, la aplicación del fold podría ser:
- foldE (const (Lit 0)) Add Mul e
o
- foldE (Lit . const 0) Add Mul e
saludos
La opción d no debería compilar, dado que en uno de los casos (const 0) retorna un entero y en los demás un Exp.
Para hacer lo que se dice, la aplicación del fold podría ser:
- foldE (const (Lit 0)) Add Mul e
o
- foldE (Lit . const 0) Add Mul e
saludos