Rock the Code

Paul Snively is a software architect and engineer with 40 years of programming experience. He's worked professionally with a variety of languages, tools and mental models, including Lisp, C, Java, Scala and Haskell, and has held various positions at Apple, Intel, VMWare, Verizon and others. He is also a frequent conference speaker, talking about type systems, functional programming, formal logic and reliable software. You can find Paul at https://paul-snively.github.io/ --- 0:00 Intro 6:30 Language proliferation: Go, Rust, Scala, and corporate bets 10:00 Scala in production: Twitter, Spark, and Databricks 12:10 Go's appeal: consistency over abstraction ceiling 16:10 Runar Bjarnason, Funnel, and the Verizon Labs team 21:50 Kleisli arrows and HTTP4S explained 30:25 Why purely functional programming: expressions all the way down 36:05 Where correctness matters most: finance, avionics, smart contracts 47:45 TypeScript's success: syntax, ecosystem fit, and .d.ts files 58:55 Scala's adoption problem and the abstraction ceiling 1:03:40 Direct style, Ox, Kyo, and lowering the FP on-ramp 1:11:50 How to develop taste and intuition in software 1:20:00 Apprenticeship, stupid questions, and the monad epiphany 1:33:00 Shipping System 7.0 with 1,500 known bugs: Apple and business tradeoffs 1:41:30 OCaml: governance, stability, and Jane Street 1:53:50 ReasonML and language recommendations for beginners 1:57:00 Paradigms over languages: Smalltalk, Prolog, Haskell, C

James Ward, AWS developer advocate and author of Effect Oriented Programming, blends functional programming zeal with pragmatic tradeoffs. He discusses what effects are and why they matter. Short dives cover typed errors, retry and timeout superpowers, ZIO streams, using AI to learn languages, profiler-aware agents, and how to keep exploring new tech.

A long-form conversation with Martin Odersky about everything Scala: the evolution of the language, the future, learning, teaching, good library and code design, and more. --- 0:00 Intro 2:30 Teaching Scala to kids and beginners 6:55 Why recursion trips up new programmers 11:51 Scala as a first language: the evidence from Lund University 13:38 How Martin's students at EPFL learn debugging via the scientific method 16:36 Inside the Scala compiler: phases, tests, and community builds 24:03 The SIP process: from Discord proposal to stable feature 29:03 Scala 3 vs Scala 2: implicits, givens, and extension methods 48:03 Scala's strengths: safety, convenience, and low ceremony 54:30 The complexity trap: effect systems, HTTP4S, and simple Scala 1:03:00 Capabilities: Scala's answer to Rust's borrow checker 1:32:27 Gears: direct-style concurrency with capabilities 1:34:58 Scala's path to mainstream: network effects and the next Spark 1:43:03 Learning Lean and what Martin would steal for Scala