Programming Education: Tailoring Tools and Techniques for Rust

2,460

89 0

Published 2024-05-28

What does it mean to teach a programming language? What factors should be considered? How can we improve learning resources? Are there any specific considerations for a particular programming language, such as Rust? Can we make Rust easier to learn and use through specialized tooling? In this livestream, we will discuss these and other questions with Will Crichton, a computer science researcher who specializes in teaching programming languages.

#RustRover #RustProgramming #learnrust #learnprogrammingonyoutube

Socials
Personal site: willcrichton.net/
Twitter: twitter.com/tonofcrates
Mastodon: mastodon.social/@tonofcrates

Rust Book experiments
Links
Book: rust-book.cs.brown.edu/
Aquascope (Ownership Visualizer): cognitive-engineering-lab.github.io/aquascope/
Quiz plugin: github.com/cognitive-engineering-lab/mdbook-quiz

Papers
A Grounded Conceptual Model for Ownership: arxiv.org/abs/2309.04134
Profiling Programming Language Learning: arxiv.org/abs/2401.01257

Document languages
Links
Nota nota-lang.org/

Papers
A Core Calculus for Documents: arxiv.org/abs/2310.04368

Program slicing
Links
Flowistry: github.com/willcrichton/flowistry/

Papers
Modular Information Flow through Ownership: arxiv.org/abs/2111.13662

All Comments (1)