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.

二十年来，Racket编程语言一直是语言设计和实现研究的试验台，也是从中学到研究生院的计算机科学课程的教学平台。由于它的灵活性，研究人员使用它来探索新的语言想法，从Web服务器和Web浏览器之间的新通信方式到全新语言的构建。教育工作者用一种对初学者友好的语言方言向中学生介绍代数，教授向博士生介绍语言意义的研究。球拍也用于工业中的一系列产品。现在程序员要求更快的Racket和在手机，平板电脑和Web浏览器等现代平台上运行的Racket。为了满足这些要求，该项目将开展四项不同但相关的工作。首先，将基于最近开发的PyPy框架开发一个优化的即时编译器。 其次，Racket的创新将被移植到思科的高性能Chez Scheme实现中，该实现现在可以在GitHub上作为开源项目使用。这一努力同时构建了另一个高性能的编译器，并将Racket社区在过去十年中开发的一些创新返回给Scheme社区。简而言之，前两个项目直接解决了Racket社区的性能要求。第三，该项目将为Web浏览器设计Racket的变体，这是一个与普通计算机完全不同的平台。计划是构造一个从Racket到JavaScript的编译器。第四，Racket需要一个面向移动的平台（手机、平板电脑）的GUI框架，以便成为这些设备上的全功能语言。所有这四项努力都对研究和教育产生直接影响。现代软件必须在平台和硬件（服务器、笔记本电脑、桌子、电话、浏览器）的异构集合上运行并进行通信。为了解决工程可靠，安全和安全软件的问题，研究人员需要编程语言，他们可以探索问题。从Racket等语言中，这些想法往往会迅速流入工业应用，从而改善每个人的生活。现代教育必须赋予儿童在软件世界中的能力，否则他们就得不到广泛的教育。20年来，Racket在数百所大学，学院和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