Shapeless Party Tricks in the Enterprise
summary
Practical examples of Shapeless show how compile-time literal-backed types let a combinations function return Tuple2 or Tuple3 instead of List, preserving type safety, and how a 38-line generic implementation called replicateH reproduces applicative replication for IO, List, State and a parser combinator, yielding tuple results and correct state transitions. Code lives at github.com/cdubs, the techniques run on teams at Fortune 500 companies for data engineering and WebSocket protocols and generally work, with some compile-time cost. type-safe combinations
AI-written summary · about
chapters (6)
- 0:00Introduction to shapeless
- 3:11Pairwise agreement with combos
- 9:58Awaiting multiple messages
- 12:28ReplicateH for applicatives
- 17:06ReplicateH implementation
- 18:56Takeaways and Q&A
