3 ms·
Applicative Functors/Selective Applicative Functors should be more suitable to serialization than monads, because they do not contain lambdas and expose the und
by edwintorok 7y ago
Applicative Functors/Selective Applicative Functors should be more suitable to serialization than monads, because they do not contain lambdas and expose the underlying structure, allowing you to inspect,modify it, etc.:
https://www.cs.ox.ac.uk/jeremy.gibbons/publications/delivery.pdf https://www.cs.ox.ac.uk/jeremy.gibbons/publications/delivery...
http://simonmar.github.io/bib/papers/haxl-icfp14.pdf http://simonmar.github.io/bib/papers/haxl-icfp14.pdf
https://www.staff.ncl.ac.uk/andrey.mokhov/selective-functors.pdf https://www.staff.ncl.ac.uk/andrey.mokhov/selective-functors...
- lmm 7y agoApplicatives still contain lambdas in the same sense that monads do, no?
- edwintorok 7y agoI think you can think of applicative like specifying the abstract syntax tree for the operation you want to perform and then giving it to an evaluator, as opposed to a monad where you code the implementation more directly, but deliver it opaquely as a lambda to the system.