-
2 votesanswersviews
在变压器堆栈中展开STT monad？
这个问题显然与讨论的问题here和here有关 . 不幸的是，我的要求与这些问题略有不同，并且给出的答案真的很难理解为什么 runST 在这些情况下无法输入检查，这无济于事 . 我的问题是，我有一段代码使用一个monad堆栈，或者更确切地说是一个monad： import Control.Monad.Except type KErr a = Except KindError a 另一部分代码需要... -
14 votesanswersviews
折叠Haskell中的多态列表
我有一个记录集合，分布在大型Haskell应用程序中的多种类型中，它们相互引用 . 涉及的所有类型都实现了一个共同的类型类 . 类型类包含对变量及其所有子项起作用的函数，非常类似于uniplate的para函数 . 这是我想要构建的简化代码示例 . 是否有可能（并且合理）获得通用功能来折叠在GHC中实现给定类型类的记录字段... {-# LANGUAGE RankNTypes #-} myPar...