Question

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

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

我使用它创建walk一个程序树并生成asm代码，它可以按我的意愿工作。作为在树上行走的主要功能，我使用

rProgram :: Program -> Runner [String] CompileState

并解压缩结果我使用函数

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

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

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

我想以优雅的方式运行它们，并且throwError指示失败。如何把像他们这样的很多功能放在一起？

Answer 1

lens有一个zoom组合器，它使用镜头来放大＆＃34;放大＆＃34;在一部分国家。

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)