Conference Presentation, Lecture, Other
Will Crichton: Rust for Everyone!
- A future science of human-centered programming is expected to enhance all programming languages, not solely Rust, by integrating human-centered design principles and formal cognitive theories.
- Research efforts aim to develop tools for learning and using Rust, supported by a pedagogy based on the permissions model that is predicted to demonstrably improve learning outcomes.
- Developers anticipate constructive mental models for Rust's ownership concept to enable line-by-line reasoning about program state, potentially facilitated by a gradual transition from a coherent language level without ownership to full Rust.
- Future research is expected to characterize the async design space, clarifying concepts such as co-routines, promises, and cancellation across diverse language ecosystems.
- Exposing compiler internals in less opaque ways is predicted to allow language models to augment interfaces, while future assistants may gain enhanced tools for diagramming and communicating technical concepts beyond text and markdown.
- Solving the challenge of lifting Rust's semantics into a higher-level language with gradual garbage collection is viewed as a potential solution to serve as a highly useful tool for learners.
- Current progress in programming tool development is currently hindered by the lack of extensible visualization platforms within IDEs such as VS Code.