论文标题
Rustviz:交互式可视化所有权和借贷
RustViz: Interactively Visualizing Ownership and Borrowing
论文作者
论文摘要
Rust是一种系统编程语言,可通过静态跟踪所有权和借贷事件来保证不需要垃圾收集器的内存安全性。相关的规则在行业编程语言中是微妙和独特的,这可能会使学习生锈更具挑战性。在Rust学习者面临的挑战中,我们正在开发Rustviz,该工具使教师能够在Rust Code示例中为每个变量生成一个互动时间表,描述所有变量的所有权和借用事件。这些可视化旨在帮助生锈的学习者以身作则发展对所有权和借贷的理解。本文以身作则介绍了Rustviz,展示了教师如何使用它来产生可视化,描述学习目标,并提出了一项旨在根据这些学习目标评估Rustviz的研究。
Rust is a systems programming language that guarantees memory safety without the need for a garbage collector by statically tracking ownership and borrowing events. The associated rules are subtle and unique among industry programming languages, which can make learning Rust more challenging. Motivated by the challenges that Rust learners face, we are developing RustViz, a tool that allows teachers to generate an interactive timeline depicting ownership and borrowing events for each variable in a Rust code example. These visualizations are intended to help Rust learners develop an understanding of ownership and borrowing by example. This paper introduces RustViz by example, shows how teachers can use it to generate visualizations, describes learning goals, and proposes a study designed to evaluate RustViz based on these learning goals.