<p>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. </p>

<p>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.</p>

<h3>Key topics discussed in this episode:</h3>

<ul>
<li>Set-theoretic typing (union, intersection, difference)</li>
<li>Compiler-driven inference with zero annotations</li>
<li>Phased rollout strategy in 1.19 and 1.20</li>
<li>Performance profiling for large codebases</li>
<li>Map typing as records and dictionaries</li>
<li>Exhaustivity checks and behavioral typing in GenServers</li>
<li>Language Server Protocol & tooling updates</li>
<li>Future optional annotations and guard-clause typing</li>
<li>CNRS collaboration for theoretical foundations</li>
<li>Clear error messages and false-positive reduction</li>
<li>Community-driven feedback and iterative improvements</li>
</ul>

<h3>Links mentioned:</h3>

<p><a href="https://github.com/elixir-nx" rel="nofollow">https://github.com/elixir-nx</a>
<a href="https://livebook.dev/" rel="nofollow">https://livebook.dev/</a>
<a href="https://hexdocs.pm/phoenix_live_view/Phoenix.LiveView.html" rel="nofollow">https://hexdocs.pm/phoenix_live_view/Phoenix.LiveView.html</a>
<a href="https://hexdocs.pm/elixir/main/gradual-set-theoretic-types.html" rel="nofollow">https://hexdocs.pm/elixir/main/gradual-set-theoretic-types.html</a>
<a href="https://hexdocs.pm/dialyxir/0.4.0/readme.html" rel="nofollow">https://hexdocs.pm/dialyxir/0.4.0/readme.html</a>
<a href="https://remote.com/" rel="nofollow">https://remote.com/</a>
Draw the Owl meme: <a href="https://i.imgur.com/rCr9A.png" rel="nofollow">https://i.imgur.com/rCr9A.png</a> 
<a href="https://dashbit.co/blog/data-evolution-with-set-theoretic-types" rel="nofollow">https://dashbit.co/blog/data-evolution-with-set-theoretic-types</a>
<a href="https://hexdocs.pm/ecto/Ecto.html" rel="nofollow">https://hexdocs.pm/ecto/Ecto.html</a>
<a href="https://github.com/elixir-lsp/elixir-ls" rel="nofollow">https://github.com/elixir-lsp/elixir-ls</a></p><p>Special Guest: José Valim.</p>

Podurama

Home

Trending

Personal

Your Podcasts

New Episodes

My Files

Favourite Episodes

Tags (Folders)

Recently Played

Bookmarks

Followed Playlists

Set Theoretic Types in Elixir with José Valim

Elixir Wizards

AI Chapters

AI Insights

Reviews