Specializing the Reader Monad for Pure Database Programming
summary
Presents modeling the database layer as Reader monad computations so queries are pure descriptions by separating representation from interpretation. Uses Scala composition, referential transparency and lazy evaluation to build an interpreter that defers running database calls until the IO boundary, producing composable query descriptions that are plain functions and later interpreted into real DB operations.
AI-written summary · about
chapters (6)
- 0:00Introduction
- 8:51Reader Monad in Scala
- 24:56Pure database theory
- 35:50Implementing debt
- 44:35User 16 examples
- 50:52Conclusion & Q&A
related talks
30mPrograms as Values Pure Composable Database Access in Scala
41mRefactoring a Net Database Connection into a Monadic Interface
48mCompositional, Expressive, Performant Database Queries: Choose 3
43mHow to pretend we don't have a database
09mA DSL for My NoSQL Database
43mHow to pretend we don't have a database
24mRex "Doobie": A Functional JDBC That Doesn't Hide SQL
49mScylla, Charybdis, and the mystery of Quill