CRI: Language-Oriented Programming in PLT Scheme

该项目旨在增强PLT计划中可用的编程工具，旨在提高其性能，开发动态外部库接口，开发Web编程环境，并支持语言嵌入到其环境中。PLT软件工具套件包括一个解释器和一个Scheme编程语言的交互式程序开发环境，特别支持组件编程、图形、Web编程和许多扩展库。这项基础设施的努力旨在为PLT Scheme配备一个编译器，以提高其性能，并提供一个易于使用的框架，用于将其他语言嵌入其程序开发环境中。该基础设施将帮助PLT研究小组继续其对编程语言和软件工程的研究。该项目有助于实现以下期望：PLT之外的语言研究人员应该能够使用PLT Scheme不仅作为建模语言，而且作为其原型的实现语言，并将其原型语言工具用于大型软件系统。其他计算机科学家应该能够解决大型验证问题，访问控制研究和学习算法。教科书作者应该开发语言嵌入，使学生能够使用完整的IDE使用玩具语言编程。更广泛的影响：广泛使用的PLT方案对教育产生了很大的影响。这些改进应该有利于PLT研究小组的研究和教育工作，以及高中和大学的计算机科学教育工作者，以及一般的编程语言研究人员。因此，这个增强的平台应该能够通过PLT的推广工作，使研究思想不断涌入高中科学课程。

Project Proposed:This project, seeking to enhance the programming tools available in PLT scheme, aims at Improving its performance, Developing a dynamic foreign library interface, Developing a web programming environment, and Supporting language embeddings into its environment. The PLT suite of software tools consists of an interpreter and an interactive program development environment for the Scheme programming language, with special support for component programming, graphics, web programming, and numerous extension libraries. This infrastructure effort aims to equip PLT Scheme with a compiler to improve its performance and an easy-to-use framework for embedding additional languages into its program development environment. The infrastructure will help the PLT research group to continue its investigation into programming languages and software engineering. The project contributes towards the following expectations:Language researchers outside of PLT should be able to use PLT Scheme not just as a modeling language, but also as an implementation language for their prototypes andUse their prototype language tools for large software systems. Other computer scientists should be able to tackle Large verification problems, Studies of access control, and Learning algorithms.Textbook authors should develop language embeddings to enable students to program in toy languages with a full-fledged IDE around.Broader Impact: The widely used PLT Scheme has had a large impact on education. The improvements should benefit the PLT research group in its research and education efforts, as well as computer science educators at high school and college level, and programming languages researchers in general. Hence, this enhanced platform should enable the continued influx of research ideas into the high school science curriculum through PLTs outreach efforts.