Program
Introduction to Rust
- A short history of Rust
- Inspirations for Rust
The Main Features of Rust
- Functional Programmgin
- Strong Static Typing
- Polymorphism, traits, higher order
- Linear Typing, mutability and ownership
Rust and its enviroment
- Performance and system programming
- Rust vs other programming languages
- Rust Ecosystem
- Rust Tooling
- Formal Methods for Rust
Evaluation Workshop
- Choice of a real software development case
- Analysis of gains expected from choosing Rust
- Analysis of difficulties expected from choosing Rust
- Synthesis of Pros and Cons of choosing Rust in your Context