Keynote: Why Functional Programming Matters
summary
A clear inventory of concrete claims and outcomes: Church encodings and lazy evaluation enable whole-value designs; a DARPA comparison yields 85 lines of Haskell versus 760–1100 in Ada/C++, later replicated by an eight‑day learner at 156 lines; QuickCheck gets built and shrinks real counterexamples; functional hardware languages (mfp, Lava) map to FPGAs; Intel adopts a lazy‑functional formal‑verification stack after the Pentium error that costs $475 million and produces QuickCheck on FPGA proofs and fast testbenches.
AI-written summary · about
chapters (4)
- 0:00Start
- 14:40their lack of useful mathematical properties for reasoning about programs
- 48:28fl Lazy functional language, 1000s users • Design High-level specification • Scripting Implementation of formal verification tools and theorem provers Object language for theorem proving
- 52:58Haskell-like language (architecture) + atomic transition rules (H/W modelling) Frees designers to explore better algorithms, making major architectural change easy
related talks
32mDoes FP still matter in the era of AI?
58mThe Next Great Functional Programming Language
49mCoding Tomorrow
39mWhy Elixir Matters: A Genealogy of Functional Programming
27mThe Many Ends of Programming
01h 08mLean: Machine-Checked Mathematics and Verified Programming, Past and Future
01h 07m50,000 Lines of LLM Haskell: What Broke, What Held, and Letting Go
45mKeynote: Writing Code? Pfft... Evolve it Instead!