SHF: PROJECT DARWIN_ Towards Principled Language Evolution

SHF：达尔文计划_迈向有原则的语言进化

• 批准号: 1544542
• 负责人: Jan Vitek
• 金额: $ 109.97万
• 依托单位: Northeastern University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-07-01 至 2022-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1544542&HistoricalAwards=false
• 关键词: SHF; PROJECT; DARWIN_; Towards; Principled

R is a large language ecosystem consisting of statistical and graphical capabilities, a programming language, and all the other artifacts present in an open source programming environment. R is used by millions of scientific/engineering programmers in academia and is used heavily in business and industry. R is hitting limits and needs major renovations if it is to keep up with, and advance, the pace of science. This proposal proposes to modernize several aspects of the R language and to integrate new infrastructure elements. The modernization effort will focus on the code base of the language implementation, the compiler and the memory subsystem. The new features will center around the addition of type annotations to improve correctness and performance of R programs as well as to assist with distributed execution. The PI is well-connected to the R core developers, and there is a clear path to releasing versions into production. The enhancements will help R support the pace of science, as problems become more computationally complex and use rapidly growing data sets. Scientific computations programmed in R will run faster, be capable of processing much larger, distributed data sets, and the implementation will be easier to maintain by modernizing the language. The experience of reimplementing a live, full-scale language like R will be interesting to the programming language research community, as well as providing a more sustainable infrastructure for science/engineering programming.

R是一个大型语言生态系统，包括统计和图形功能，一种编程语言以及开源编程环境中存在的所有其他文物。 R在学术界数百万的科学/工程程序员使用，并在商业和行业中大量使用。 如果要跟上科学的步伐，则R正在达到限制，需要进行重大翻新。该建议建议将R语言的几个方面现代化并整合新的基础设施元素。现代化工作将集中在语言实施，编译器和内存子系统的代码基础上。新功能将围绕增加类型注释，以提高R程序的正确性和性能，并协助分布式执行。 PI与R核心开发人员有很好的联系，并且有一条清晰的途径将版本释放到生产中。随着问题在计算上变得越来越复杂并使用快速增长的数据集，这些增强功能将有助于支持科学的步伐。 R中编程的科学计算将更快地运行，能够处理更大，分布式数据集，并且通过现代化语言来更容易地维护实现。 重新实现像R这样的现场全尺度语言的经验对于编程语言研究社区以及为科学/工程编程提供更可持续的基础架构将很有趣。

项目成果

CodeDJ: Reproducible Queries over Large-Scale Software Repositories

CodeDJ：大规模软件存储库的可重复查询

• 发表时间: 2021
• 期刊: European Conference on Object-Oriented Programming (ECOOP
• 作者: Petr Maj, Konrad Siek

Designing types for R, empirically

根据经验设计 R 类型

• DOI: 10.1145/3428249
• 发表时间: 2020
• 期刊: Proceedings of the ACM on Programming Languages
• 作者: Turcotte, Alexi;Goel, Aviral;Křikava, Filip;Vitek, Jan
• 通讯作者: Vitek, Jan

Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples

Julia 用于子类型联合和协变元组的高效算法

• DOI: 10.4230/lipics.ecoop.2019.24
• 发表时间: 2019
• 期刊: European Conference on Object-Oriented Programming (ECOOP
• 作者: Chung, Benjamin;Zappa Nardelli, Francesco;Vitek, Jan
• 通讯作者: Vitek, Jan