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	300	January 5, 2024
Convenient way to write return types of OCaml funs in *.ml files? Learning	7	496	March 13, 2023
The answer is probably: "no, because of value restriction" Learning	12	1340	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	2094	March 1, 2021
Arbitrary polymorphic variants as parameters Learning polymorphism	4	1311	March 25, 2019

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

Related Topics