Episode 300 of the Thinking Elixir podcast features an interview with José Valim, creator of Elixir. Key topics include Elixir 1.20's set-theoretic type system reaching milestone one (full coverage of all Elixir constructs and data types), the release timeline synced with OTP 29, and a roadmap of three milestones before typed syntax annotations arrive. Valim explains how union, intersection, and difference operations underpin the type checker, and how performance bottlenecks were solved iteratively. He candidly notes AI coding tools have been largely unhelpful for compiler/type-system design work due to the holistic thinking required, though useful for mechanical tasks like fixing test snapshots and verifying mathematical proofs. The episode also covers Tidewave updates (voice input, code review mode, PWA install), a new 'localize' i18n library replacing CLDR, the 'Reach' program dependence graph library, and Erlang Ecosystem Foundation board elections.
Sort: