selective-ocaml
selective-ocaml copied to clipboard
Published
20 hours ago •
snowleopard
snowleopard
Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically
Selective applicative functors
This is a study of selective applicative functors, an abstraction between Applicative and Monad.
The idea was first prototyped in Haskell, and now we are
exploring its translation to OCaml.
Further reading
- A paper introducing selective functors: https://www.staff.ncl.ac.uk/andrey.mokhov/selective-functors.pdf.
Metadata
39
Stars
1
Forks
Watchers
Owner
snowleopard
Metadata
Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically