Guillaume Duboc

Typing Systems @ Elixir

Guillaume Duboc is a PhD student researching type systems that bridge theory and practice. His work focuses on gradual typing for concurrent languages, combining rigorous mathematics with pragmatic implementation.

Talk:
Typing Elixir: The Road So Far

Elixir 1.18 is bringing a lot of type features and paves the road to static typing. We’ll dive into the details of this release, and explore what’s coming next!

KEY OBJECTIVE:

  • Show the current state and direction of Elixir’s evolving type system.

TARGET AUDIENCE:

  • Elixir developers and typing enthusiasts.