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的动态和静态语义。然后将这些部署在广泛使用的Rust书籍的副本中。该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。