CRI: CI-SUSTAIN: Racket on Alternative Platforms

CRI：CI-SUSTAIN：替代平台上的喧嚣

• 批准号: 1823244
• 负责人: Matthias Felleisen
• 金额: $ 99.94万
• 依托单位: Northeastern University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-09-01 至 2022-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1823244&HistoricalAwards=false
• 关键词: CRI; CI; SUSTAIN; Racket; Alternative

For two decades, the Racket programming language has served as a test bed for research on language design and implementation as well as a platform for teaching courses on computer science from middle school through graduate school. Researchers use it to explore new language ideas because of its flexibility, ranging from new ways of communicating between web servers and web browsers to the construction of entirely new languages. Educators introduce middle school students to algebra in a novice-friendly dialect of the language and professors introduce PhD students to the study of the meaning of languages. Racket is also used in industry for a range of products. Now programmers request a faster Racket and a Racket that runs on modern platforms such as phones, tablets, and web browsers. To accommodate these requests, the project will work on four different, but related efforts. First, an optimizing just-in-time compiler will be developed, based on the recently developed PyPy framework. Second, Racket's innovations will be ported to Cisco's high-performance Chez Scheme implementation, which is now available as an open-source project on GitHub. This effort simultaneously constructs another performant compiler and returns to the Scheme community some of the innovations that the Racket community has developed over the last decade. In short, the first two projects directly address the performance requests from the Racket community. Third, the project will design a variant of Racket for web browsers, a radically different platform from ordinary computers. The plan is to construct a compiler from Racket to JavaScript. Fourth, Racket needs a GUI framework for mobile platforms (phones, tablets) to become a fully functional language on those devices. All four efforts have a direct impact on research and education. Modern software must run on, and communicate across, heterogenous collections of platforms and hardware (servers, laptops, tables, phones, browsers). To solve the problem of engineering reliable, safe, and secure software, researchers need programming languages in which they can explore the problems. From languages such as Racket, these ideas tend to quickly flow into industrial applications and thus improve the lives of everyone. Modern education must empower children in the world of software; otherwise they are not broadly educated. For 20 years, Racket has played an important role at hundreds of universities, colleges, and K-12 schools. Providing it on alternative platforms will ensure the future needs of instructors.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

二十年来，球拍编程语言一直是研究语言设计和实施的测试床，以及从中学到研究生院的计算机科学教学课程的平台。研究人员使用它来探索新的语言思想，因为它的灵活性，从网络服务器和网络浏览器之间的新方式到构建全新语言。教育工作者用新手友好的语言方言向中学生介绍了代数，教授介绍了博士生对语言意义的研究。球拍也用于各种产品。现在，程序员请求更快的球拍和一个在现代平台上运行的球拍，例如电话，平板电脑和网络浏览器。为了满足这些要求，该项目将在四个不同但相关的工作中开展工作。首先，将根据最近开发的PYPY框架开发优化的即时编译器。 其次，球拍的创新将移植到思科的高性能Chez计划实施中，该实施现已作为Github上的开源项目可用。这项努力同时构建了另一个表演者编译器，并返回了计划社区，在过去十年中，球拍社区发展了一些创新。简而言之，前两个项目直接解决了球拍社区的绩效请求。第三，该项目将设计用于Web浏览器的球拍变体，这是一个与普通计算机的根本不同的平台。该计划是构建从球拍到JavaScript的编译器。第四，球拍需要用于移动平台（电话，平板电脑）的GUI框架，以便在这些设备上成为一种功能齐全的语言。所有四项努力都会直接影响研究和教育。现代软件必须在平台和硬件（服务器，笔记本电脑，桌子，手机，浏览器）的异质集合中运行并进行沟通。为了解决工程可靠，安全和安全的软件的问题，研究人员需要编程语言，在其中他们可以探索问题。从球拍等语言来看，这些想法倾向于迅速流入工业应用，从而改善每个人的生活。现代教育必须赋予软件界的儿童权力；否则，他们不会受到广泛的教育。 20年来，球拍一直在数百所大学，大学和K-12学校发挥重要作用。在替代平台上提供它将确保教师的未来需求。该奖项反映了NSF的法定任务，并被认为是值得通过基金会的知识分子和更广泛影响的评论标准来评估值得支持的。

项目成果

Rebuilding racket on chez scheme (experience report)

在chez计划上重建球拍（经验报告）

• DOI: 10.1145/3341642
• 发表时间: 2019
• 期刊: Proceedings of the ACM on Programming Languages
• 作者: Flatt, Matthew;Derici, Caner;Dybvig, R. Kent;Keep, Andrew W.;Massaccesi, Gustavo E.;Spall, Sarah;Tobin-Hochstadt, Sam;Zeppieri, Jon
• 通讯作者: Zeppieri, Jon

Dependent Type Systems as Macros

• DOI: 10.1145/3371071
• 发表时间: 2020-01-01
• 期刊: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
• 影响因子: 1.8
• 作者: Chang, Stephen;Ballantyne, Michael;Bowman, William J.
• 通讯作者: Bowman, William J.

How to evaluate blame

如何评价责备

• DOI: 10.1145/3473573
• 发表时间: 2021
• 期刊: International Conference on Functional Programming
• 作者: Lazarek, Greenman

From high-level inference algorithms to efficient code

• DOI: 10.1145/3341702
• 发表时间: 2018-05
• 期刊: Proceedings of the ACM on Programming Languages
• 作者: R. Walia;P. Narayanan;J. Carette;Sam Tobin-Hochstadt;Chung-chieh Shan

Collapsible contracts: fixing a pathology of gradual typing

可折叠合约：修复渐进式打字的病态

• DOI: 10.1145/3276503
• 发表时间: 2018
• 期刊: Proceedings of the ACM on Programming Languages
• 作者: Feltey, Daniel;Greenman, Ben;Scholliers, Christophe;Findler, Robert Bruce;St-Amour, Vincent
• 通讯作者: St-Amour, Vincent