Thinking Elixir Podcast 284: ‘Tis the Season for a Type System
Dec 23, 2025
24:49
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://nitter.net/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 and language server improvements
- https://bsky.app/profile/akoutmos.bsky.social/post/3ma2rsncqtc25 – mjml_eex v0.13.0 release announcement
- https://github.com/akoutmos/mjml_eex – mjml_eex library for formatting emails using MJML and EEx
- https://github.com/akoutmos/mjml_eex/blob/master/CHANGELOG.md – mjml_eex changelog showing upgrade to MJML 5.3 and comment support
- https://mjml.io/ – MJML website for responsive email templates
- https://github.com/mjmlio/mjml – MJML GitHub repository
- https://mjmlio.github.io/mjml-app/ – MJML app for building email templates
- https://dashbit.co/blog/zero-trust-for-plug-phoenix – Dashbit blog post announcing nimble_zta for zero trust authentication
- https://github.com/dashbitco/nimble_zta – nimble_zta library with zero trust strategies for CloudFlare, Google Cloud Platform IAP, and Tailscale
- https://en.wikipedia.org/wiki/BEAM_(Erlang_virtual_machine) – BEAM virtual machine Wikipedia reference
- https://www.youtube.com/watch?v=zrYdkHRCJqM – My BEAM History - Björn Gustavsson ElixirConf EU 2025 talk covering BEAM internals
- https://goatmire.bold.video/ – GoatMire conference website with published videos
- https://www.youtube.com/@goatmireinternational – GoatMire YouTube channel
- https://www.yellowduck.be/posts/detecting-and-listing-duplicate-records-with-phoenix-ecto – Blog post with tips on detecting duplicate records using Ecto queries
- https://pixabay.com/music/christmas-christmas-show-438871/ – Credit for Christmas themed intro music
Do you have some Elixir news to share? Tell us at @ThinkingElixir or email at show@thinkingelixir.com
Find us online
- Message the show - Bluesky
- Message the show - X
- Message the show on Fediverse - @ThinkingElixir@genserver.social
- Email the show - show@thinkingelixir.com
- Mark Ericksen on X - @brainlid
- Mark Ericksen on Bluesky - @brainlid.bsky.social
- Mark Ericksen on Fediverse - @brainlid@genserver.social
- David Bernheisel on Bluesky - @david.bernheisel.com
- David Bernheisel on Fediverse - @dbern@genserver.social
Sponsored By: