3 ms·
> these aren't programming languages, they're data languages. Sounds like a job for free applicative functors, which are strictly less powerful than free monad
by harveywi 11y ago
> these aren't programming languages, they're data languages.
Sounds like a job for free applicative functors, which are strictly less powerful than free monads (which you can imagine as the set of interpretable languages). From John De Goes's ScalaWorld 2015 presentation:
Free Functors: Programs that Change Values
Free Applicatives: Programs that Build Data
Free Monads: Programs that Build Programs