295: Is Your Type System Leaking?
From Thinking Elixir Podcast by ThinkingElixir.com
March 10, 2026 · 27 min
About this episode
The episode discusses recent developments in Elixir's type system and various community updates.
News includes José Valim publishing a deep technical post on Elixir's type system shift from DNFs to Lazy BDDs with eager literal intersections — cutting worst-case type checking from 10 seconds to 25ms — alongside a more approachable Dashbit post on type systems as leaky abstractions, Zach Daniel's new usage_rules feature for shipping versioned AI skills inside Hex packages, Oban Pro teasing a major Workflow + Web UI overhaul with graph views and progress tracking, MDEx v0.11.6 landing with a new :codefence_renderers option, Livebook Desktop adding Linux support, Flame On hitting v1.0.0 after four years, a new Gleam static site generator called Blogatto, a native Elixir Apache Spark Connect client with Livebook integration, and more! Show Notes online - http://podcast.thinkingelixir.com/295 Elixir Community News https://paraxial.io/ – Paraxial.io is sponsoring today's show! Sign up for a free trial of Paraxial.io today and mention Thinking Elixir when you schedule a demo for a special offer. https://erlef.org/ – David encourages companies that use Elixir to sponsor the Erlang Ecosystem Foundation, emphasizing it's a community responsibility and any amount helps…
People in this episode
Host: José Valim
Topics covered
- Elixir type system
- type checking
- AI skills
- Hex packages
- community news
- software updates
Keywords
- Elixir
- type system
- DNFs
- Lazy BDDs
- AI skills
- Hex packages
- Livebook
- Flame On
- Gleam
- community news
Sponsors
Paraxial.io
Mentioned in this episode
Organizations: Dashbit, Oban Pro, MDEx, Livebook, Flame On, Gleam, Apache Spark, Erlang Ecosystem Foundation
More episodes of Thinking Elixir Podcast
- 307: Trust Nothing, Sort Everything · June 9, 2026 · 24 min
- 306: Don't Exhaust Your Atoms · June 2, 2026 · 27 min
- 305: Eleven Minutes to Mayhem · May 26, 2026 · 33 min
- 304: Types, CVEs, and Hot Reloads · May 19, 2026 · 28 min
- 303: The Taming of the Slop · May 12, 2026 · 31 min
- 302: BEAM in Your Pocket · May 5, 2026 · 29 min
Explore listener stats, chart rankings, contacts and more on the Thinking Elixir Podcast podcast page.