Haskell StateT和ExceptT链

Question

我不是很好的haskell程序员。我的任务是在我的大学写一个编译器，我选择了haskell，因为它是一个很好的工具。我使用的是monads和ExcepT，所以我有类型：

type Runner r s = StateT s (ExceptT LatteError IO) r
type RT r s = IO (Either LatteError (r, s))

我使用它创建、遍历程序树并生成asm代码，它可以按照我的意愿工作。作为行走树的主要功能，我使用

rProgram :: Program -> Runner [String] CompileState

为了解压结果，我使用函数

runR program = runExceptT (runStateT (rProgram program) initialCompileState)

我不想做的是有一些验证器，比如类型检查，ident存在检查，我知道要写它们。让我告诉你我有

tcProgram :: Program -> Runner () TypeCheckState
ieProgram :: Program -> Runner () IdentExistanceState

我想以优雅的方式运行它们，throwError指出了一个失败。如何将像它们这样的许多功能组合在一起？

Answer 1

lens有一个zoom组合器，它使用镜头“放大”状态的一部分。

zoom :: Lens' s t -> State t a -> State s a

(与lens中常见的情况一样，实际类型的zoom要复杂得多，但这是一种简单的思考方法。)

所以我们有

zoom _1 . tcProgram :: Program -> Runner () (TypeCheckState, t)
zoom _2 . ieProgram :: Program -> Runner () (s, IdentExistenceState)

所以

liftA2 (>>) (zoom _1 . tcProgram) (zoom _2 . ieProgram) :: Program -> Runner () (TypeCheckState, IdentExistenceState)