Extending Rust’s Effect System
Rust Programming LanguageEffects are notations used on types, functions, and traits to communicate semantic properties about the language. Over the past year the Keyword Generics Initiative has been investigating ways in which we can enhance Rust’s effect system to become more flexible and more consistent. In this talk we’ll walk you through what effects are, how they’re currently represented in Rust, which limitations they impose on the language, and what the Keyword Generics Initiative is working on to make working with effects in Rust more expressive.