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

XVilka · September 30, 2020, 9:58am

GHC 9.0.1 will bring a long wanted linear types:

A first cut of the new LinearTypes language extension, allowing
use of linear function syntax and linear record fields.

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	2338	March 1, 2021
A proposal for a resource-management model for OCaml Community	29	7482	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	11646	November 14, 2018
Major OCaml pain points Ecosystem language-design	33	3594	January 16, 2020
Modular Implicits Ecosystem compiler , faq	63	24380	October 24, 2022