Move Fast, Move Correctly
summary
Claims a workflow that builds MVPs faster and with fewer runtime bugs by treating the schema as the source of truth and pushing checks into types and code generation. Uses Haskell database-first plus a custom SQL semantics compiler and PostgreSQL to parse schemas, generate backend models, and emit OpenAPI/Swagger types for the frontend. Adds an effects-based authorization system that yields compile-time errors for missing fields or insufficient privileges, a memory-backed product repository to eliminate repeated DB reads, a servant-based starter kit with mock API, and a CLI in progress.
AI-written summary · about
chapters (15)
- 0:00Introduction and motivation
- 1:10Development challenges and agile
- 2:34Code quality and abstractions
- 4:44Database-first approach
- 6:50Choosing Haskell for the framework
- 8:44Productive real-world development
- 9:49Type-level error checking
- 11:37Effects for correctness
- 14:30Repository pattern example
- 17:46Building the Basics library
- 19:13Simplifying boilerplate
- 20:20Starter kit and mock APIs
- 21:25Developer experience tools
- 22:11Future plans and public release
- 24:21Q&A session
related talks
31mAccelerating GraphQL API Development with Schema Storming and Code-first Implementation
27mThe Benefits of Code First Over Schema First in GraphQL
21mNeed for speed - Moving fast as a software engineer
30mIncrease Your Productivity With No Code GraphQL Mocking
23mGraphQL in real life
23mSchema-First Application Telemetry
51mMoving at the Speed of Thought
35mHype Driven Development: How I learned to stop worrying and love the failures