haskell - 学习 Happstack 和 Monad 变形金刚

Question

所以我有一个项目，我认为学习起来很简单，但又足够复杂，很有趣，我想使用 Happstack 库来编写。在最基本的层面上，这个项目只是一个花哨的文件服务器，带有一些特定于域的 REST 方法(或者其他什么，我真的不在乎它是否真的是 RESTful)来搜索和获取所述文件和元数据。由于我现在也在尝试真正学习 monad 转换器，因此我认为这将是一个完美的学习项目。但是，我在启动它时遇到了一些困难，特别是在如何构建我的变压器堆栈方面。

现在，我只担心几件事:配置、错误报告、状态和日志记录，所以我从

newtype MyApp a = MyApp {
    runMyApp :: ReaderT Config (ErrorT String (StateT AppState IO)) a
} deriving (...)

因为我总是在 IO 中，所以我可以很容易地使用 hslogger 来处理我的日志记录。但我也知道我需要使用 ServerPartT为了与 Happstack 交互，因此

runMyApp :: ReaderT Config (ErrorT String (StateT AppState (ServerPartT IO))) a

我可以让它运行，查看请求等，但我遇到的问题是这需要 FilterMonad为它实现，以便使用像 dir 这样的方法, path , 和 ok ，但我不知道如何为这种类型实现它。我只需要它将过滤器传递给底层的 monad。有人可以给我一些关于如何实现这个明显至关重要的类型类的指示吗？或者，如果我只是在做一些非常错误的事情，请引导我朝着正确的方向前进。我只关注 Happstack 几天，变形金刚对我来说还是很陌生。我认为我对它们的了解足以使它们变得危险，但我对它们的了解还不够，以至于我可以自己实现一个。非常感谢您提供的任何帮助!

FULL CODE

(X-从 /r/haskell 发布)

Answer 1

对你来说最简单的事情就是从你的堆栈中删除 ErrorT。如果你看 here您可以看到 Happstack 为 StateT 和 ReaderT 定义了 FilterMonad 的内置 passthrough 实例，但没有为 ErrorT 定义。如果您真的想将 ErrorT 保留在您的堆栈中，那么您需要为它编写一个直通实例。它可能看起来很像 ReaderT 的那个。

instance (FilterMonad res m) => FilterMonad res (ReaderT r m) where
    setFilter f   = lift $ setFilter f
    composeFilter = lift . composeFilter
    getFilter     = mapReaderT getFilter

我倾向于认为您不应该将 ErrorT 融入您的应用程序 monad，因为您不会总是处理可能失败的计算。如果您确实需要处理代码部分中的故障，您可以随时通过包装 runErrorT 轻松地投入其中。围绕该部分，然后使用 ErrorT , lift , 和 return如所须。此外，变压器堆栈中的额外层会在每次绑定(bind)时增加性能税。因此，虽然 monad 转换器的可组合性非常好，但当性能是一个重要考虑因素时，您通常希望谨慎使用它们。

另外，我建议使用 EitherT 而不是 ErrorT。这样您就可以使用奇妙的 errors package .它有很多非常常见的便利功能，如 hush , just ， ETC。

此外，如果您想查看您正在尝试做的真实示例，请查看 Snap 的 Handler monad。 .您的 MyApp monad 正是 snaplets 旨在解决的问题。 Handler 有一些额外的复杂性，因为它旨在以一种通用的方式解决问题，这样 Snap 用户就不需要自己构建这个通用的转换器堆栈。但是，如果您查看 underlying implementation您可以看到，它的核心实际上只是将 Reader 和 State monad 压缩为一个。