What I Learned about FP when Writing a Book About It
summary
Derives functional-programming results from first principles and shows which theories actually matter for writing Scala code: proves which type signatures are implementable, demonstrates a Scala LjT algorithm macro that generates code from types, and reports 12.5 of 14 chapters finished for a book with full source free online. Finds surprises: some ADTs cannot satisfy monad laws, no free Traversable exists, breadth-first traversals need special folds. Focuses on map filter reduce primitives and practical, provable constructions.
AI-written summary · about
chapters (16)
- 0:00Intro
- 0:28My background
- 1:17FP community
- 3:39Theoretical knowledge
- 10:00Questions about code
- 10:39Examples of unambiguous answers
- 15:02Similarities with engineering
- 17:41Map Filter Reduce
- 19:46Systematic Approach
- 22:13Types
- 26:11Perfect Shape Tree
- 26:51Type Inference
- 27:39Notation
- 28:33Filters
- 29:11Type Classes
- 29:52Conclusion
related talks
49mRelax, It's Just FP
01h 03mIntro to FP in Scala: Exploring a Toolbox for Solving Problems - Part 4 of 6
01h 00mWhat The Functional Programming
37mIntro to FP in Scala: Exploring a Toolbox for Solving Problems - Part 6 of 6
59mIntro to FP in Scala: Exploring a Toolbox for Solving Problems - Part 3 of 6
38mIntro to FP in Scala: Exploring a Toolbox for Solving Problems - Part 5 of 6
49mFunctional Programming Essentials
34mHow I learned to stop worrying and love Functional Design