Programming Education: Tailoring Tools and Techniques for Rust

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: https://willcrichton.net/
Twitter: Twitter: tonofcrates
Mastodon: https://mastodon.social/@tonofcrates

Rust Book experiments
Links
Book: https://rust-book.cs.brown.edu/
Aquascope (Ownership Visualizer): https://cognitive-engineering-lab.git...
Quiz plugin: https://github.com/cognitive-engineer...

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

Document languages
Links
Nota https://nota-lang.org/

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

Program slicing
Links
Flowistry: https://github.com/willcrichton/flowi...

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

• #science_technology
• #rust_programming
• #jetbrains
• #learn_programming
• #rustrover
• #rust
• #teaching
• #webinar
• #livestream
• #learn_rust