Codata in Action
Codata in Action
复制标题
行动中的 Codata
DOI：
10.1007/978-3-030-17184-1_5
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Peyton Jones, Simon
中科院分区：
文献类型：
--
作者：
Downen, Paul;Sullivan, Zachary;Ariola, Zena M;Peyton Jones, Simon
计算机科学家对数据结构了如指掌。但对于它们的双重属性--Codata，就不能这么说了。尽管Codata在范畴理论、通用代数和逻辑中普遍存在，但使用Codata进行编程主要是为了表示无限的对象和过程。我们的目标是演示CoData作为独立于任何特定语言的通用编程抽象的好处：急切的或迟缓的、静态或动态类型的、函数的或面向对象的。虽然Codata在今天的许多编程语言中都没有特性，但我们展示了如何通过在数据和Codata之间提供简单的互编译技术来轻松地采用和实现Codata。我们相信Codata是函数式和面向对象范例之间的共同点；最终，我们希望利用Curry-Howard同构来进一步弥合这一差距。
Computer scientists are well-versed in dealing with data structures. The same cannot be said about their dual: codata. Even though codata is pervasive in category theory, universal algebra, and logic, the use of codata for programming has been mainly relegated to representing infinite objects and processes. Our goal is to demonstrate the benefits of codata as a general-purpose programming abstraction independent of any specific language: eager or lazy, statically or dynamically typed, and functional or object-oriented. While codata is not featured in many programming languages today, we show how codata can be easily adopted and implemented by offering simple intercompilation techniques between data and codata. We believe codata is a common ground between the functional and object-oriented paradigms; ultimately, we hope to utilize the Curry-Howard isomorphism to further bridge the gap.
登录
查看更多内容
具有共同模式的有根据的递归：终止和生产力的统一方法
DOI：
--
发表时间：
2013
期刊：
ACM SIGPLAN International Conference on Functional Programming
影响因子：
--
作者：
Andreas Abel;B. Pientka
通讯作者：
B. Pientka
构造性逻辑第一部分：证明系统和类型伽马演算教程
影响因子：
1.1
作者：
Jean H. Gallier
通讯作者：
Jean H. Gallier
用户定义的类型和过程数据结构作为数据抽象的补充方法
DOI：
--
发表时间：
1994
期刊：
影响因子：
--
作者：
J. C. Reynolds
通讯作者：
J. C. Reynolds
程序和证明的非关联组合的语法和模型。
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
Guillaume Munch
通讯作者：
Guillaume Munch
CommonLoops：融合 Lisp 和面向对象编程
影响因子：
4.6
作者：
D. Bobrow;K. Kahn;G. Kiczales;L. Masinter;M. Stefik;Frank Zdybel
通讯作者：
Frank Zdybel