文章/答案/技术大牛

发布

社区首页 >问答首页 >大型Monad堆栈示例

问大型Monad堆栈示例
EN

Stack Overflow用户

提问于 2012-10-12 14:45:24

回答 2查看 433关注 0票数 6

正如标题所说，我正在寻找一个将monad-transformers与大型monad堆栈相结合的程序。

有没有人知道一个真实的例子？

haskell

monads

monad-transformers

回答 2

Stack Overflow用户

回答已采纳

发布于 2012-10-12 18:28:10

一个很好的例子是Haskeline -它的内部InputCmdT类型是一个深度为6的monad转换器堆栈(参见here)：

type InputCmdT m = StateT Layout (UndoT (StateT HistLog (ReaderT (IORef KillRing)
                (ReaderT Prefs (ReaderT (Settings m) m)))))

这实际上可以有奇怪的效果，比如在System.Console.Haskeline.Emacs中将一个类型签名吹到超过20.000行，至少有一个GHC版本……

票数 8

Stack Overflow用户

发布于 2012-10-12 15:53:13

我不知道这是否算作“真实世界”，但在我的教程Write Yourself a Scheme in 48 Hours的扩展中，我为一种使用以下堆栈的编程语言实现了一个解释器：

type Eval a = ReaderT Environment (ErrorT LispError IO a)

我开始向语言中添加延续，方法是定义

type EvalCont r a = ContT r (ReaderT Environment (ErrorT LispError IO a))

我从来没有完成过continuations的实现，但是你可以看到我在checking it out on Github上取得了多大的进展。

票数 5

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/12853675

复制

相似问题

问大型Monad堆栈示例
EN

回答 2

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问大型Monad堆栈示例EN

回答 2

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问大型Monad堆栈示例
EN