Learning Functional Programming Through Construction: First Principles
summary
Builds a TypeScript emulator for a two‑axis Rover in ~25 minutes, using discriminated union types for Direction and Command, immutable Rover type (readonly properties) so updates return new Rover instances, and switch-based pure functions move/turn the rover. Adds an identity function for unknown/quit and shows the type system prevents invalid values at compile time. Composes the parsing pipeline with a compose string->action function to map input to Rover transformations and it compiles and runs.
AI-written summary · about
chapters (10)
- 0:00Introduction and setup
- 1:05Building a Rover emulator
- 3:13Data modeling with types
- 8:24Immutability in practice
- 10:33Implementing commands
- 16:47Gluing functions together
- 21:53Updating Rover state
- 22:56Function composition
- 23:58Key takeaways
- 24:19Q&A and closing
related talks
58mFunctional Programming with C#
56mFunctional Programming with JavaScript
41mFunctional programming: Give it a chance!
01h 14mFunctional Programming in F#: Fad or Fabulous?
46mFunctional programming in F# Fad or Fabulous
36mHow Functional Programming Can Make Life Easier
01h 21mLearning F# by Designing Your Own Language
41mFunctional Programming Without Succumbing to Fads