Programmeeronderwijs: tools en technieken op maat voor Rust Programming Education: Tailoring Tools and Techniques for Rust

Wat betekent het om een programmeertaal te onderwijzen? Met welke factoren moet je rekening houden? Hoe kunnen we leermaterialen verbeteren? Zijn er specifieke aandachtspunten voor een bepaalde programmeertaal, zoals Rust? Kunnen we Rust makkelijker te leren en te gebruiken maken met gespecialiseerde tools? In deze livestream bespreken we deze en andere vragen met Will Crichton, een informaticaonderzoeker die gespecialiseerd is in het onderwijzen van programmeertalen. #RustRover #RustProgramming #learnrust #learnprogrammingonyoutube Socials Persoonlijke site: https://willcrichton.net/ Twitter: https://twitter.com/tonofcrates Mastodon: https://mastodon.social/@tonofcrates Experimenten met het Rust Book Links Boek: https://rust-book.cs.brown.edu/ Aquascope (visualisatie van ownership): https://cognitive-engineering-lab.github.io/aquascope/ Quizplugin: https://github.com/cognitive-engineering-lab/mdbook-quiz Papers A Grounded Conceptual Model for Ownership: https://arxiv.org/abs/2309.04134 Profiling Programming Language Learning: https://arxiv.org/abs/2401.01257 Documenttalen 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/flowistry/ Papers Modular Information Flow through Ownership: https://arxiv.org/abs/2111.13662

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: https://twitter.com/tonofcrates Mastodon: https://mastodon.social/@tonofcrates Rust Book experiments Links Book: https://rust-book.cs.brown.edu/ Aquascope (Ownership Visualizer): https://cognitive-engineering-lab.github.io/aquascope/ Quiz plugin: https://github.com/cognitive-engineering-lab/mdbook-quiz 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/flowistry/ Papers Modular Information Flow through Ownership: https://arxiv.org/abs/2111.13662