Do it with (free?) arrows!
summary
Compares free monads and free applicatives to free arrows by building a small embedded DSL for record and sum types (field atom plus combinators) and implementing two real interpreters: a key‑value decoder that reconstructs instances and a generator that emits JSON Schema documentation. Monads permit dependent branches on a type field but break the documentation interpreter; arrows add compose and choice so the demo both decodes and produces correct schemas, showing arrows sit between applicatives and monads in expressive power and interpreter support.
AI-written summary · about
chapters (11)
- 0:00Intro
- 2:42Description vs Interpretation
- 6:50Defining the language
- 11:50Documentation interpreter
- 13:43Subtypes
- 15:28Interpreters
- 18:30Summary
- 20:00Operations
- 21:31Types
- 23:30Meaningful Documentation Interpreter
- 26:35Demo
