Oli Scherer
At the start of my PhD I was introduced to Ada and subsequently thoroughly disillusioned about my C++ expertise. Over the course several years working on industry projects in Ada, I examined programming languages and their tooling for concepts to avoid failure states. Though initially scared off Rust, I ended up trying (and failing) to replicate basic Ada integer subtypes in the Rust type system. I spent the last 10 years working on the Rust language and compiler on improving the compile time evaluation system and recently started adding full on subtypes (called pattern types in Rust).
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| The state of Rust trying to catch up with Ada |
Sunday | UB2.147 | Ada | 11:00 | 11:20 |