追踪单子计算与效应表示
摘要：使用具有效果的方式产生最终结果的函数式编程中，monads被认为封装了计算，但保留了获取结果的方法。由于各种原因，有时候我们希望揭示计算的内部。为了实现这一点，在本文中，我们引入了Monad转换器，它们可以自动累积关于执行过程的观察作为一种效果。我们发现，如果将生成的跟踪结果作为计算的实际结果处理，我们可以在现有monads中发现新的功能，特别是在处理非终止计算时。
作者：Maciej Pir''og (Department of Computer Science, University of Oxford), Jeremy Gibbons (Department of Computer Science, University of Oxford)
论文ID：1202.2922
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-02-15