Is there any way to emulate Linear Types in OCaml yet? Specifically I’m wanting to be able to generate an opaque type in a module and allow the user to only ever store one copy of it at a time, and if it is ever stored anywhere else or passed to a function then where-ever it was stored in before is…

Is there a good way to encode linear types in OCaml?

Konstantin_Olkhovski December 11, 2019, 10:26am 7

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

2 Likes

Topic		Replies	Views
Serialization of a type to binary/text format for caching Learning	4	423	January 5, 2024
A proposal for a resource-management model for OCaml Community	29	7317	January 1, 2021
Convenient way to write return types of OCaml funs in *.ml files? Learning	7	719	March 13, 2023
The answer is probably: "no, because of value restriction" Learning	12	1458	September 4, 2020
What changes would be required to the OCaml type system to make session types (or some kind of typestate) idiomatic? Community type-system	8	2248	March 1, 2021

Is there a good way to encode linear types in OCaml?

Related topics