December 23, 2025

284: ‘Tis the Season for a Type System

24 minutes

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 [email protected]

Find us online

Message the show - Bluesky

Message the show - X

Message the show on Fediverse - @[email protected]

Email the show - [email protected]

Mark Ericksen on X - @brainlid

Mark Ericksen on Bluesky - @brainlid.bsky.social

Mark Ericksen on Fediverse - @[email protected]

David Bernheisel on Bluesky - @david.bernheisel.com

David Bernheisel on Fediverse - @[email protected]