{"podcast":{"title":"BEAM There, Done That","slug":"beam-there-done-that-7725251","podcast_index_feed_id":7725251,"rss_url":"https://anchor.fm/s/10f787368/podcast/rss","website_url":"https://podcasters.spotify.com/pod/show/beamtheredonethat","image_url":"https://d3t3ozftmdmh3i.cloudfront.net/staging/podcast_uploaded_nologo/45445194/45445194-1772070691483-c305179ad8028.jpg","author":"Plangora","episode_count":22,"summary":"BEAM There, Done That is a podcast about building real systems with Elixir, Erlang, and the BEAM. We’ve built it before — distributed systems, fault‑tolerant services, event pipelines, real‑time apps, production nightmares, and the supervision trees that saved them. Each episode dives into practical lessons from shipping software on the BEAM: architecture decisions, scaling challenges, operational failures, and the patterns that actually work. No hype. No theory without scars. Just hard‑won experience from engineers who’ve been there.","last_synced_at":"2026-07-31T20:20:07.510585+00:00","page_url":"https://stenobird.com/podcast/beam-there-done-that-7725251"},"episode":{"title":"Static Types Finally Come to the BEAM | Annette Bieniusa & Guillaume Duboc","slug":"static-types-finally-come-to-the-beam-annette-bieniusa-guillaume-duboc","published_at":"2026-07-03T10:00:00+00:00","page_url":"https://stenobird.com/podcast/beam-there-done-that-7725251/static-types-finally-come-to-the-beam-annette-bieniusa-guillaume-duboc","show_page_url":"https://stenobird.com/podcast/beam-there-done-that-7725251","url":"https://podcasters.spotify.com/pod/show/beamtheredonethat/episodes/Static-Types-Finally-Come-to-the-BEAM--Annette-Bieniusa--Guillaume-Duboc-e3li4ok","audio_url":"https://anchor.fm/s/10f787368/podcast/play/122278100/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2026-6-2%2F427211690-44100-2-7da720351da6d.mp3","summary":"Joe Armstrong once said anyone can write a type system covering 90% of Erlang — it's the remaining 10% that defeats even the brightest minds in computer science. He was referring to Philip Wadler. That was 1995. Thirty years later, the BEAM is finally converging on an answer. In this episode, Alan Wyma and Francesco Cesarini sit down with Annette Bieniusa, professor of software technology at RPTU Germany, and Guillaume Dubois, PhD from IRIF Paris now at Dashbit, to dig into what it actually takes to bring static types to Erlang and Elixir — and why it took this long. Topics include: why every serious attempt at typing Erlang since 1995 — soft types, subtyping, Dialyzer — ran into the same wall, and what's genuinely different now what set-theoretic types are and why they're the foundation Elixir 1.2's type system is built on how Elixir's gradual type system differs fundamentally from TypeScript or Python's approach — and why baking dynamic in from the start changes everything why the BEAM ran telecoms for 25 years without static types, and what problems types are now actually solving the risk nobody talks about: developers getting lulled into false confidence by type checking, writing fewer supervision trees and less defensive code how Annette's parallel etalizer for Erlang and Guillaume's Elixir work share the same theoretical foundation but make different design choices why "type systems don't mean error-free" — and what types actually buy you on the BEAM specifically what Elixir 1.2 ships, what's still being worked on, and the one thing you can do this week Recorded May 28, 2026.","meta_description":"Joe Armstrong once said anyone can write a type system covering 90% of Erlang — it's the remaining 10% that defeats even the brightest minds in computer s…","key_points":[],"chapters":[],"topics":[],"duration_seconds":3780,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/beam-there-done-that-7725251/episodes/static-types-finally-come-to-the-beam-annette-bieniusa-guillaume-duboc/transcription-requests","description":"Idempotently request low-priority transcript generation for this episode."},{"name":"read_markdown","method":"GET","url":"https://stenobird.com/podcast/beam-there-done-that-7725251/static-types-finally-come-to-the-beam-annette-bieniusa-guillaume-duboc.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}