%0 Journal Article
%T Comonad Theory and its Applications in Functional Programming Language Haskell<br>Comonads理论及其在函数式程序语言Haskell中的应用
%A SU Jin-dian
%A YU Shan-shan
%A <br>苏锦钿
%A 余珊珊
%J 计算机科学
%D 2011
%I 
%X 函数式程序语言Haskell中的Monads理论在描述上下文依赖计算等方面存在一定的不足。作为Monads的范畴论对偶概念，Comonads理论可以有效地提高Haskell对上下文依赖计算的描述能力。首先给出Comonads的范畴论定义和性质，以及Comonads在Haskell的具体实现;接着探讨Comonads的CoKleisfi三元组和CoKleisli范畴，通过实例说明如何将其应用于上下文依赖计算的描述和推理中;最后进一步研究Comonads与Monads之间的分配律，指出如何通过分配律将效果计算与上下文依赖计算有机地融合起来。
%K Comonads
%K Functional programming
%K Haskcll
%K Context dependent computations
%K Category theory<br>Comonads，函数式程序语言，Haskell，上下文依赖计算，范畴论
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=3FDBEA69C21D71CD2B0AE44DE849B35F&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=DF92D298D3FF1E6E&sid=3986B25773CB6C30&eid=72095B38E34BADB6&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=11