Guillaume Duboc
PhD researcher at IRIF / Remote
I am a fourth-year PhD student at Remote and IRIF (Institut de Recherche en Informatique Fondamentale) in Paris, with a scholarship funded by Supabase, Fresha, and Dashbit. I have an MSc in Theoretical Computer Science from ENS de Lyon, where I developed a passion for functional programming. I have published two papers in programming languages, focusing on type inference and the practical implementation of gradual-typing systems, which can be found in my profile: https://scholar.google.com/citations?user=e1pz8RIAAAAJ&hl=fr&authuser=3
I like finding novel ways to improve the programming experience, by bringing theory into practice.
Talk:
How Elixir Learns Types from Guards
Elixir’s type system derives type information directly from guard expressions rather than introducing a separate type language. This talk examines the mechanics: how the checker interprets is_* guards as base types, how conjunction and disjunction translate to intersection and union types, and how negation types emerge from clause ordering. We’ll look at the inference rules, walk through non-obvious cases, and explore where the current implementation hits its limits.
Key Takeaways:
Target Audience: