Constructing Polymorphic Programs with Quotient Types
Constructing Polymorphic Programs with Quotient Types
复制标题
使用商类型构造多态程序
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Conor McBride
中科院分区：
文献类型：
--
作者：
M. Abbott;Thorsten Altenkirch;Neil Ghani;Conor McBride
数据的有效表示和操作是构建大型软件系统的基本任务之一。参数多态性一直是迄今为止最成功的方法之一，但到目前为止，还没有适用于编程与商datashees，如无序对，循环列表，袋等。本文提供了基础，通过扩展我们最近开发的理论容器写多态程序的商datashees。
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the most successful approaches to date but, as of yet, has not been applicable to programming with quotient datatypes such as unordered pairs, cyclic lists, bags etc. This paper provides the basis for writing polymorphic programs over quotient datatypes by extending our recently developed theory of containers.