Set-Theoretic Types from Scratch
José Valim delves into the foundational concepts of set-theoretic type systems, demonstrating their construction through live coding for the Elixir language.
This talk was recorded at Code BEAM Europe 2026. Check our upcoming events at https://codebeameurope.com/
-- -- --
Elixir v1.20 was announced as "now officially a gradually typed language", thanks to its set-theoretic type system. However, what exactly are set-theoretic types? How do they work?
Seminar notes & discussion
No public seminar notes on this lecture yet.