I’ve stumbled upon a library that implements linear types for OCaml, using monads, lens and some ppx to make it more lightweight. Might be of interest: https://github.com/keigoi/linocaml
Related topics
Topic | Replies | Views | Activity | |
---|---|---|---|---|
What changes would be required to the OCaml type system to make session types (or some kind of typestate) idiomatic? | 8 | 2253 | March 1, 2021 | |
A proposal for a resource-management model for OCaml | 29 | 7328 | January 1, 2021 | |
What is the "right" way to add constraints on a type, to handle recursive structures with variants and to combine fragments of types? | 38 | 11319 | November 14, 2018 | |
Major OCaml pain points | 33 | 3425 | January 16, 2020 | |
Modular Implicits | 63 | 23800 | October 24, 2022 |