Topic	Replies	Views	Activity
Modeling Rust trait objects subtyping relation via OCaml polymorphic variants Learning polymorphic-variants , rust , subtyping , rust-traits	2	169	November 21, 2024
Figuring out how to return an open polymorphic variant from application to a module Learning types , first-class_modules , type-inference , polymorphic-variants , module-type	2	154	September 18, 2024
A pattern for using GADTs to subset cases Learning existential-types , polymorphic-variants , gadts	19	886	September 17, 2024
New Draft Tutorial on Polymorphic Variants Learning announce , ocamlorg , polymorphic-variants , learn-ocaml , tutorial	24	1419	November 30, 2023
Understanding polymorphic variants Learning polymorphic-variants	2	343	November 26, 2023
Modelling access permissions with polymorphic variants Learning polymorphic-variants , phantom-types	6	942	June 15, 2023
Mapping GADT with Polymorphic Variant into a more restrictive form Learning type-system , gadt , ast , polymorphic-variants , gadts	5	754	May 24, 2023
Signature of a function changed when adding a recursion Learning type-system , polymorphic-variants	2	614	April 7, 2023
Deconstructing polymorphic variant type Learning type-system , polymorphic-variants	5	613	December 17, 2022
Inferred types and polymorphic variants Learning type-inference , polymorphic-variants	8	1012	September 7, 2021
Empty polymorphic variant type use case Learning polymorphic-variants	2	1033	August 27, 2021

polymorphic-variants