通用程序设计理论的统一

2012年2月1日至2015年1月31日

通用编程（GP）是一种利用数据中存在的固有结构自动生成高效灵活的算法，可以适应不同的需求。GP确保数据本身的结构在保持这些算法的正确性方面起着核心作用。在过去的二十年中，出现了许多方法对GP来说，在方便性、表达性和效率上有所不同。理论方法的工作可以大致分为两个重叠的时期：第一个时期是由编程代数引发的，它集中于代数方法使用范畴理论中的概念进行编程，第二种方法的特点可能是使用Generic Haskell，其中简单类型的lambda演算用于表示Haskell的丰富类型。

该项目的目的是在该领域先前工作的基础上，大幅提高技术水平通用编程，从而实现一般编程，目标如下：理论–概括统一GP的两大途径；规范–探索规范的新方法通用程序；推理–为推理通用程序提供基础设施，简明扼要准确地说；应用–证明GP具有深远而重要的应用。愿景是开发一个统一的泛型编程理论，通过将其结合在一起，为未来编程语言的设计提供信息将先前工作的优点整合成一个连贯的整体。