数据类型-通用编程

2003年10月6日至2006年10月5日

许多程序必须针对不同的数据类型反复重写，因为当前的编程语言没有允许程序员从程序操作的数据结构中抽象出来。数据类型通用编程——将程序数据类型参数化——将提供这种抽象，使程序员能够编写可静态检查的通用形状相关程序，利用数据的固有结构。数量巨大互联网上的数据使得有效利用数据结构成为一项非常具有挑战性和及时的工作；理论的过去十年的发展增加了它的时效性。我们提出了两个关于“规范和计算”的工作计划方法”，管理开发数据类型通用程序的挑战，以及“数据类型通用面向对象编程”，合理化对象技术中的设计模式和类似动作。提案的第三部分，设计一个结构编辑器利用数据集合的不同观点，将这两个程序结合起来，并有助于实现在实际编程环境中开发的方法和设计技术。

选定出版物

查看全部

面向大众的可扩展和模块化泛型

拉尔夫·欣泽·布鲁诺·C·d·S·奥利维拉和安德烈斯·洛伊

编辑亨利克·尼尔森，函数式编程趋势.2007

最佳学生论文奖

细节关于可扩展和模块化泛型为群众服务 |BibTeX公司的数据可扩展和模块化泛型群众
泛型作为库

布鲁诺·C·d·S·奥利维拉·拉尔夫·欣泽和安德烈斯·洛赫

编辑亨利克·尼尔森，第七届函数编程趋势研讨会会议记录（TFP’06）.智力。2006

细节关于泛型作为库 |BibTeX公司的数据泛型作为库 |链接到泛型为图书馆
单体和混合体的不同方面

布鲁诺·C·d·S·奥利维拉

2009

草案。上次更新时间：2009年3月4日。提交给ICFP 2009。

细节关于的不同方面单曲和混合曲 |BibTeX公司的数据单子的不同方面和混合物 |下载（pdf格式）属于单体和混合体的不同方面

首席研究员

杰里米·吉本斯

人

布鲁诺·奥利维拉

分享这个：

另请参见

杰里米·吉本斯

编程语言