Kittens - datatype-generic functional programming with Scala
summary
Claims that Kittens makes datatype‑generic functional composition practical in Scala by building on shapeless and cats. Demonstrates concrete tools: sequenceGeneric to turn a heterogenous product of Future-wrapped fields into a Future of a case class, and EitherT (formerly EitherT) to get Future[Either[Reason, T]] error handling. Builds a registration pipeline that composes extractors, service calls and conversions into a single composable K A => Result B function; presented as a working proof of concept across several example projects.
AI-written summary · about
chapters (9)
- 0:00Simple service composition
- 1:41Introduction to Cats
- 5:07Asynchronous function composition
- 7:49Error handling and transformers
- 10:07Shapeless and generic programming
- 15:52Introducing Henen library
- 19:05Real-world example: registration
- 25:15Automatic parser generation
- 27:47Final application and wrapping
related talks
57mKittens: Shapeless Typeclass Derivation for Cats
46mOptimusPrimeT
40mFunctional Programming in Kotlin with Kategory
44mTelling the Truth with Types
31mCool toolz in the Scalaz and Cats toolboxes
35mScalable data pipelines with shapeless and cats
29mPRACTICAL MONAD TRANSFORMERS
32mA practical introduction to category theory