Guillaume Duboc
PhD at Université Paris Cité
Guillaume Duboc is a PhD student at Université Paris Cité, under the supervision of Giuseppe Castagna, where he explores the design and implementation of type systems for dynamic languages, with a focus on Elixir.
Talk:
What's New in Elixir Types
A quick tour of recent updates to Elixir’s type system and what’s coming next. I’ll show what’s working with pattern analysis and type tracking, what’s on the horizon with typed structs and guard analysis, and the interesting problems we’re solving along the way, such as how to present set-theoretic types to the user.
Target Audience:
- Elixir developers