Boring use cases for exciting types
summary
Scala examples show concrete implementations: a WriterT timing wrapper that threads per-step durations through IO to measure a compute-CV pipeline without manual bookkeeping; an IndexedStateT protocol transitions model that encodes an authentication handshake in types so calling order becomes a compile-time error; and a tiny codensity-based Resource composition that brackets Kafka and DB resources, guarantees reverse-order release on failure, and matches Cats Effect/Managed semantics while reducing nesting and boilerplate.
AI-written summary · about
chapters (5)
- 0:00Start
- 7:06Tuples are magical!
- 8:34Time measurement and instrumentation
- 14:39Safe state machines
- 18:53Resource allocation and release
related talks
44mTelling the Truth with Types
35mIntroducing Typelevel Scala into an OO environment
58mEffect-Oriented Programming
38mThinking Less with Scala
44mEffects, Algebraically yours ..
34mSystematic Software with Scala
33mExtensible Effects: A Leaner Cake for Purely Functional Code
37mIntro to FP in Scala: Exploring a Toolbox for Solving Problems - Part 6 of 6