TYPESAFE TECHNIQUES FOR BETTER SLEEP AT NIGHT
summary
Shows how refined types push many domain checks from runtime into compile time (positive ints, non-empty lists, UUIDs), reducing production incidents while adding compile and slight runtime cost. Demonstrates deriving circe codecs and a Tapir endpoint that only accepts validated Order JSON (server returns 200 for valid, 400/logged predicate failures for invalid). Presents an OSS broker called pass4s that wires senders/consumers for SNS/SQS and ActiveMQ, rejects malformed messages to a DLQ, and is used in production at Ocado.
AI-written summary · about
chapters (11)
- 0:00Start
- 1:03System failures
- 1:35Suddenly your phone rings
- 2:17Compile time error
- 3:05Wrapping up
- 6:12Real world example
- 9:24Let's build a trivial API
- 12:19Bind the endpoint logic
- 13:14The boring stuff
- 14:03Key takeaway
- 15:23Think tapir but for messaging
related talks
34mBuilding the systems of tomorrow
21mBeyond Type Checking Building Bulletproof TypseScript Applications
34mType Your Business
31mAI agents EXPOSED: TypeScript's hidden powers revealed!
47mCommunicating in Types
52mType-Driven Development with F#
34mNot Your Uncle’s Clean Code (TypeScript Edition)
27mEffect: Production-Grade TypeScript