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
What changes would be required to the OCaml type system to make session types (or some kind of typestate) idiomatic? Community type-system	8	2253	March 1, 2021
A proposal for a resource-management model for OCaml Community	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? Learning real-world-ocaml , ocaml , gadt	38	11319	November 14, 2018
Major OCaml pain points Ecosystem language-design	33	3425	January 16, 2020
Modular Implicits Ecosystem compiler , faq	63	23800	October 24, 2022

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

Related topics