Functional Programming And the Real World
summary
Panelists argue concrete claims: Rust is argued to be effectively functional in safe code and NAS translates Rust to Lean for verification; Zig and Rust trade off allocation and control in specific deployments; Elm enforces a strict JavaScript FFI to avoid library churn and prioritizes rearchitecting compilers to produce rich JSON diagnostics so error messages improve; discussions show where finer-grained types pay off, where they hurt productivity, and which compiler or library changes actually fixed problems.
AI-written summary · about
chapters (9)
- 0:00Introduction
- 1:24Opening on functional programming
- 9:36Rust to Lean compiler
- 10:19Future of type systems
- 15:16Type system complexity
- 21:11Cultural challenges
- 26:28Breaking habits
- 30:42Type inference and errors
- 39:08Closing
related talks
57mThe Fun of Functional Programming Panel
41mFunctional Programming for Pragmatists
36mConcrete Functional Programming
56mFunctional Programming on .NET - The Best of Both Worlds
59mFunctional Programming for Machine Learning Panel
44mFunctional Programming You Already Know
38mFunctional Programming - The Architecture of Choice
14mFundamentalist Functional Programming