284: ‘Tis the Season for a Type System
HomeThinking Elixir Podcast › Episode

284: ‘Tis the Season for a Type System

24:49 Dec 23, 2025
About this episode
News includes José Valim announcing that Elixir v1.20 is well underway with full-type inference possibly landing before the end of the year, Gleam v1.14.0-rc1 with fault tolerant type inference and language server improvements, mjml_eex v0.13.0 for creating beautiful email templates, Dashbit's new nimble_zta library for zero trust authentication extracted from Livebook, Björn Gustavsson's ElixirConf EU talk on BEAM history and internals with insights on a potential BEAM v2 runtime 5-10 years away, GoatMire conference videos being published, and more! Show Notes online - http://podcast.thinkingelixir.com/284 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. Show update - podcast is now also on YouTube with images of blog posts, projects, and articles displayed during discussions https://x.com/josevalim/status/2000540145645162507 – José Valim announces Elixir v1.20 is well underway in active development https://github.com/elixir-lang/elixir/blob/main/CHANGELOG.md#complete-typing-of-maps-keys – Changelog showing complete typing of maps keys in Elixir v1.20 https://github.com/elixir-lang/elixir/releases – Elixir releases page - current latest version is 1.19.4 https://en.wikipedia.org/wiki/Set_theory – Set theory reference for understanding Elixir's type system approach https://en.wikipedia.org/wiki/Set-theoretic_topology – Set-theoretic topology reference https://bsky.app/profile/gleam.run/post/3ma3u7ta2sk2c – Gleam v1.14.0-rc1 announcement https://github.com/gleam-lang/gleam/blob/v1.14.0-rc1/CHANGELOG.md – Gleam v1.14.0-rc1 changelog with updates including fault tolerant type inference an
Select an episode
0:00 0:00