Paul Snively on Programming Languages, Reliable Code and Good Taste in Software Engineering

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