Set Theoretic Types in Elixir with José Valim | S14E07 Elixir Wizards Podcast by SmartLogic

José Valim explains the development, implementation, and phased rollout of Elixir's new set-theoretic type system.

Elixir Programming Language | Software Development | Gradual Types Elixir creator José Valim returns to the podcast to unpack the latest developments in Elixir’s set-theoretic type system and how it is slotting into existing code without requiring annotations. We discuss familiar compiler warnings, new warnings based on inferred types, a phased rollout in v1.19/v1.20 that preserves backward compatibility, performance profiling the type checks across large codebases, and precise typing for maps as both records and dictionaries.   José also touches on CNRS academic collaborations, upcoming LSP/tooling enhancements, and future possibilities like optional annotations and guard-clause typing, all while keeping Elixir’s dynamic, developer-friendly experience front and center. 01:57 The Journey of Elixir's Type System 02:56 Challenges and Learnings in Type System Development 04:26 Community Feedback and Iterations 06:53 Current Progress and Metrics 12:12 Set Theoretic Type Approach 16:39 Dialyxir and Future of Elixir's Type System 21:18 Developer Guidance and Future Plans 22:49 Drawing the Owl: Initial Steps 23:03 Type Information and False Negatives 23:39 Refining Type Information 24:06 Future Goals and Timeline 24:38 Implementing and Testing New Features 26:40 Dynamic vs. Static Typing 28:39 Impact on Developer Tools 40:13 Performance and Compilation Times 41:16 Final Thoughts and Developer Guidance   Key topics discussed in this episode: • Set-theoretic typing (union, intersection, difference) • Compiler-driven inference with zero annotations • Phased rollout strategy in 1.19 and 1.20 • Performance profiling for large codebases • Map typing as records and dictionaries • Exhaustivity checks and behavioral typing in GenServers • Language Server Protocol & tooling updates • Future optional annotations and guard-clause typing • CNRS collaboration for theoretical foundations • Clear error messages and false-positive reduction • Community-driven feedback and iterative improvements   Links mentioned: github.com/elixir-nx livebook.dev/ hexdocs.pm/phoenix_live_view/Phoenix.LiveView.html hexdocs.pm/elixir/main/gradual-set-theoretic-types.html hexdocs.pm/dialyxir/0.4.0/readme.html remote.com/ Draw the Owl meme: i.imgur.com/rCr9A.png dashbit.co/blog/data-evolution-with-set-theoretic-types hexdocs.pm/ecto/Ecto.html github.com/elixir-lsp/elixir-ls