Soares is a Rust programmer with a strong passion for functional programming, type theory, and all things related to programming languages. He currently works as a Rust engineer at Informal Systems and has previously worked extensively with Haskell and JavaScript across various companies. Soares is the creator of Context-Generic Programming, a modular programming paradigm for Rust. Additionally, he has developed several open-source projects in the past, including Ferrite, a session type EDSL in Rust, and Casimir, an algebraic effects library for Haskell.
Rust offers a powerful trait system that allows us to write highly polymorphic and reusable code. However, the restrictions of coherence and orphan rules have been a long standing problem and a source of confusion, limiting us from writing trait implementations that are more generic than they could have been.
LEVEL: Advanced
RustLab is a conference made by Develer.
Develer is a company based in Campi Bisenzio, near Florence. Our motto is : "Technology to give life to your products". We produce hardware and software to create exceptional products and to improve industrial processes and people's well being.
In Develer we have passion for the new technologies and we offer our clients effective solutions that are also efficient, simple and safe for the end users. We also believe in a friendly and welcoming environment where anybody can give their contribution. This passion and this vision are what we've been driven to organize our conference "made by developers for developers".
