Question

type ErrorOrValue = Either InterpreterError Value 

evaluateExpression :: [Value] -> IR.Expression -> ErrorOrValue

evaluateExpression as (IR.Application l r) 
    | Left _ <- arg = arg
    | Right (Partial ac b as) <- f = foo as f arg
    | Right _ <- f = Left NonFunctionApplication
    | otherwise = f
    where
        f = evaluateExpression as l >>= forceValue
        arg = evaluateExpression as r

我需要使用foo和f致电arg，确保它们不是Left。

我可以减少模式匹配，而是使用绑定和其他monad操作吗？

Answer 1

我需要使用foo和f致电arg，确保它们不是Left。

为此，您可以将Applicative实例用于Either。

foo <$> f <*> arg

或

liftA2 foo f arg

如果f和arg为Right值，则会提取这些值，将foo应用于它们并在Right构造函数中回复。如果f或arg值为Left，则会返回该值（如果两者都为f，则会有Left的值。）

Answer 2

您可以使用do。您的代码会在arg之前检查f，而foo似乎会返回ErrorOrValue，因此无需将其提升到Monad。此外，传递给as的{{1}}是从foo中提取的，而不是Partial的参数。这是一些完全未经测试的代码：

evaluateExpression

减少模式匹配

2 个答案: