https://github.com/snowleopard/selective-ocaml

Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically
https://github.com/snowleopard/selective-ocaml

Last synced: 10 months ago
JSON representation

Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically

• Host: GitHub
• URL: https://github.com/snowleopard/selective-ocaml
• Owner: snowleopard
• License: mit
• Created: 2018-11-06T14:47:46.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2019-03-06T02:58:48.000Z (almost 7 years ago)
• Last Synced: 2024-10-13T10:34:12.981Z (about 1 year ago)
• Language: OCaml
• Homepage:
• Size: 37.1 KB
• Stars: 40
• Watchers: 4
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGES.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-list - selective-ocaml

README

          
# Selective applicative functors

This is a study of selective applicative functors, an abstraction between `Applicative` and `Monad`.

The idea was first [prototyped in Haskell](https://github.com/snowleopard/selective), 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.