FMitF: Track II: Educating Developers about Ownership in Rust

FMITF：轨道 II：对开发人员进行 Rust 所有权教育

• 批准号: 2319014
• 负责人: Shriram Krishnamurthi
• 金额: $ 9.99万
• 依托单位: Brown University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2023
• 资助国家: 美国
• 起止时间: 2023-08-01 至 2024-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2319014&HistoricalAwards=false
• 关键词: FMitF; Track; II; Educating; Developers

Rust is an important new programming language that enables programmers to build low-level systems in a way that is both fast and efficient, a combination that has traditionally been extremely difficult. However, using Rust requires programmers to understand the language's "ownership" mechanism, which many find daunting. The project's novelties are to create a strong understanding of the difficulties in learning it, create tools to improve understanding, and evaluate that these tools work. The project's impacts are an understanding of important programming language concepts, a collection of useful tools, and a collection of pedagogic materials.Concretely, the project has multiple phases. First, it examines StackOverflow postings to determine what troubles programmers seem to have. Next, it turns these into a concept inventory for ownership. Then, it creates visualization tools for understanding both the dynamic and static semantics of Rust. These are then deployed in a copy of a widely used Rust book. The project then assesses the impact of these interventions.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.

Rust是一种重要的新编程语言，它使程序员能够以快速而高效的方式构建低级系统，这是传统上非常困难的组合。但是，使用Rust需要程序员了解该语言的“所有权”机制，许多人认为这很令人生畏。该项目的新颖性是为了深入了解学习它的困难，创建工具以提高理解力并评估这些工具是否有效。该项目的影响是了解重要的编程语言概念，有用的工具集以及一系列教学材料。首先，它检查了stackoverflow帖子，以确定程序员似乎遇到的麻烦。接下来，将这些变成了所有权的概念清单。然后，它创建了可视化工具，以理解Rust的动态和静态语义。然后将这些部署在一本广泛使用的锈迹书的副本中。然后，该项目评估了这些干预措施的影响。该奖项反映了NSF的法定任务，并被认为是值得通过基金会的知识分子优点和更广泛的影响审查标准的评估来支持的。