Comonads理论及其在函数式程序语言Haskell中的应用

摘要：

函数式程序语言Haskell中的Monads理论在描述上下文依赖计算等方面存在一定的不足.作为Monads 的范畴论对偶概念,Comonads理论可以有效地提高Haskell对上下文依赖计算的描述能力.首先给出Comonads的范畴论定义和性质,以及Comonads在Haskell的具体实现；接着探讨Comonads的CoKleisli三元组和CoKleisli范畴,通过实例说明如何将其应用于上下文依赖计算的描述和推理中；最后进一步研究Comonads与Monads之间的分配律,指出如何通过分配律将效果计算与上下文依赖计算有机地融合起来.

关键词：Comonads、函数式程序语言、Haskell、上下文依赖计算、范畴论

所属期刊栏目：38

分类号：TP301.2(计算技术、计算机技术)

资助基金：2010年高校博士点科研基金—新教师类20100172120043;华南理工大学中央高校基本科研业务费专项资金2009ZM0158

在线出版日期：2012-01-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：144-147,156