SI2-SSE: Supporting Generic Programming in C++ for Modular and Reliable Large-Scale Software

泛型编程具有构建大规模、可靠、可维护和高效的软件工件的有效方法的潜力。c++编程语言通过“模板”机制支持它。在专家手中，c++模板是强大的抽象工具，是标准模板库（Standard Template Library）等库以及许多免费和商业软件库和产品成功的关键。不幸的是，基于模板的结构化泛型编程的实践仍然局限于相对较少的训练有素的个人。这个项目的主要目标是调查和开发支持可伸缩和模块化泛型库的软件工具和编程模型。像面向对象编程那样，将结构化泛型编程方法引入主流需要发明超越传统技术的新编程语言结构和编译器构造技术。特别是，必须隐藏明显的模板复杂性和晦涩的技术细节；对于工业规模的程序，代码生成必须在质量和编译时间上超过c++目前成功的模板应用。该项目的核心是研究对模板参数（“概念”）需求的直接语言支持，以及它们在开源编译器和库中的实现，这些编译器和库可以免费提供给公众、研究和教育社区。

Generic programming has the potential of an effective methodology for building large-scale, reliable, maintainable, and efficient software artifacts. It is supported by the C++ programming language through the "template" mechanism. In the hands of experts, C++ templates are formidable abstraction tools, key to the success of libraries such as the Standard Template Library, and many freely available and commercial software libraries and products. Unfortunately, the practice of template-based structured generic programming remains restricted to relatively few highly trained individuals. A primary objective of this project is to investigate and develop software tools and programming models that support scalable and modular generic libraries. Bringing structured generic programming methodology to mainstream at the scale done for object-oriented programming entails the invention of new programming language constructs and compiler construction techniques that go beyond conventional technologies. In particular, the apparent complexities of templates and arcane technical details must be concealed; code generation has to surpass C++'s current successful applications of templates both in quality and compile time for industrial scale programs. At the core of this project is the investigation of a direct linguistic support for requirements on template arguments ("concepts"), and their implementations in an open source compiler and libraries made freely available to the public, the research and education community.