284: ‘Tis the Season for a Type System

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, mjmleex v0.13.0 for creating beautiful email templates, Dashbit's new nimblezta 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 (http://podcast.thinkingelixir.com/284) Elixir Community News https://paraxial.io/ (https://paraxial.io/?utm_source=thinkingelixir&utm_campaign=thinkingelixir-oct2025) – 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 (https://nitter.net/josevalim/status/2000540145645162507?utm_source=thinkingelixir&utm_medium=shownotes) – 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 (https://github.com/elixir-lang/elixir/blob/main/CHANGELOG.md#complete-typing-of-maps-keys?utm_source=thinkingelixir&utm_medium=shownotes) – Changelog showing complete typing of maps keys in Elixir v1.20 https://github.com/elixir-lang/elixir/releases (https://github.com/elixir-lang/elixir/releases?utm_source=thinkingelixir&utm_medium=shownotes) – Elixir releases page - current latest version is 1.19.4 https://en.wikipedia.org/wiki/Set_theory (https://en.wikipedia.org/wiki/Set_theory?utm_source=thinkingelixir&utm_medium=shownotes) – Set theory reference for understanding Elixir's type system approach https://en.wikipedia.org/wiki/Set-theoretic_topology (https://en.wikipedia.org/wiki/Set-theoretic_topology?utm_source=thinkingelixir&utm_medium=shownotes) – Set-theoretic topology reference https://bsky.app/profile/gleam.run/post/3ma3u7ta2sk2c (https://bsky.app/profile/gleam.run/post/3ma3u7ta2sk2c?utm_source=thinkingelixir&utm_medium=shownotes) – Gleam v1.14.0-rc1 announcement https://github.com/gleam-lang/gleam/blob/v1.14.0-rc1/CHANGELOG.md (https://github.com/gleam-lang/gleam/blob/v1.14.0-rc1/CHANGELOG.md?utm_source=thinkingelixir&utm_medium=shownotes) – 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 (https://bsky.app/profile/akoutmos.bsky.social/post/3ma2rsncqtc25?utm_source=thinkingelixir&utm_medium=shownotes) – mjml_eex v0.13.0 release announcement https://github.com/akoutmos/mjml_eex (https://github.com/akoutmos/mjml_eex?utm_source=thinkingelixir&utm_medium=shownotes) – mjml_eex library for formatting emails using MJML and EEx https://github.com/akoutmos/mjml_eex/blob/master/CHANGELOG.md (https://github.com/akoutmos/mjml_eex/blob/master/CHANGELOG.md?utm_source=thinkingelixir&utm_medium=shownotes) – mjml_eex changelog showing upgrade to MJML 5.3 and comment support https://mjml.io/ (https://mjml.io/?utm_source=thinkingelixir&utm_medium=shownotes) – MJML website for responsive email templates https://github.com/mjmlio/mjml (https://github.com/mjmlio/mjml?utm_source=thinkingelixir&utm_medium=shownotes) – MJML GitHub repository https://mjmlio.github.io/mjml-app/ (https://mjmlio.github.io/mjml-app/?utm_source=thinkingelixir&utm_medium=shownotes) – MJML app for building email templates https://dashbit.co/blog/zero-trust-for-plug-phoenix (https://dashbit.co/blog/zero-trust-for-plug-phoenix?utm_source=thinkingelixir&utm_medium=shownotes) – Dashbit blog post announcing nimble_zta for zero trust authentication https://github.com/dashbitco/nimble_zta (https://github.com/dashbitco/nimble_zta?utm_source=thinkingelixir&utm_medium=shownotes) – nimble_zta library with zero trust strategies for CloudFlare, Google Cloud Platform IAP, and Tailscale https://en.wikipedia.org/wiki/BEAM(Erlangvirtual_machine) (https://en.wikipedia.org/wiki/BEAM_(Erlang_virtual_machine)?utm_source=thinkingelixir&utm_medium=shownotes) – BEAM virtual machine Wikipedia reference https://www.youtube.com/watch?v=zrYdkHRCJqM (https://www.youtube.com/watch?v=zrYdkHRCJqM?utm_source=thinkingelixir&utm_medium=shownotes) – My BEAM History - Björn Gustavsson ElixirConf EU 2025 talk covering BEAM internals https://goatmire.bold.video/ (https://goatmire.bold.video/?utm_source=thinkingelixir&utm_medium=shownotes) – GoatMire conference website with published videos https://www.youtube.com/@goatmireinternational (https://www.youtube.com/@goatmireinternational?utm_source=thinkingelixir&utm_medium=shownotes) – GoatMire YouTube channel https://www.yellowduck.be/posts/detecting-and-listing-duplicate-records-with-phoenix-ecto (https://www.yellowduck.be/posts/detecting-and-listing-duplicate-records-with-phoenix-ecto?utm_source=thinkingelixir&utm_medium=shownotes) – Blog post with tips on detecting duplicate records using Ecto queries https://pixabay.com/music/christmas-christmas-show-438871/ (https://pixabay.com/music/christmas-christmas-show-438871/?utm_source=thinkingelixir&utm_medium=shownotes) – Credit for Christmas themed intro music Do you have some Elixir news to share? Tell us at @ThinkingElixir (https://twitter.com/ThinkingElixir) or email at show@thinkingelixir.com (mailto:show@thinkingelixir.com) Find us online - Message the show - Bluesky (https://bsky.app/profile/thinkingelixir.com) - Message the show - X (https://x.com/ThinkingElixir) - Message the show on Fediverse - @ThinkingElixir@genserver.social (https://genserver.social/ThinkingElixir) - Email the show - show@thinkingelixir.com (mailto:show@thinkingelixir.com) - Mark Ericksen on X - @brainlid (https://x.com/brainlid) - Mark Ericksen on Bluesky - @brainlid.bsky.social (https://bsky.app/profile/brainlid.bsky.social) - Mark Ericksen on Fediverse - @brainlid@genserver.social (https://genserver.social/brainlid) - David Bernheisel on Bluesky - @david.bernheisel.com (https://bsky.app/profile/david.bernheisel.com) - David Bernheisel on Fediverse - @dbern@genserver.social (https://genserver.social/dbern)