Correct Looping Arrows from Cyclic Terms - Traced Categorical Interpretation in Haskell
Correct Looping Arrows from Cyclic Terms - Traced Categorical Interpretation in Haskell
复制标题
循环项中正确的循环箭头 - Haskell 中的追踪分类解释
DOI：
10.1007/978-3-642-29822-6_13
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
M. Hamana
中科院分区：
文献类型：
--
作者：
M. Hamana
涉及循环运算符的箭头为循环计算提供了一种有趣的编程方法。另一方面，Haskell可以通过递归定义来定义循环数据结构。本文表明，有一个共同的原则，循环数据和循环计算的箭头计划。我们研究了三个具体的例子，构造循环箭头的句法结构称为循环条款。然后，我们提出了一个一般的模式，构造正确的循环箭头，这是基于范畴语义的循环和箭头，即跟踪和Freyd范畴。
Arrows involving a loop operator provide an interesting programming methodology for looping computation. On the other hand, Haskell can define cyclic data structures by recursive definitions. This paper shows that there exists a common principle underlying both cyclic data and cyclic computations of arrow programs. We examine three concrete examples of constructing looping arrows from a syntactic structure called cyclic terms. Then we present a general pattern of constructing correct looping arrows, that is based on categorical semantics of loops and arrows, i.e. traced and Freyd categories.
将循环结构表示为嵌套数据类型
DOI：
--
发表时间：
2006
期刊：
Trends in Functional Programming
影响因子：
--
作者：
N.Ghani;M.Hamana;T.Uustalu;V.Vene
通讯作者：
V.Vene