Topic	Replies	Views	Activity
Modular Implicits - When? Ecosystem compiler , modular-implicits , type-system	1	1032	September 14, 2020
Extensible variants and the equivalent of "manifest types"? Ecosystem type-system , ppx_deriving , ppx_deriving_yojson	0	703	May 8, 2020
Question about typing polymorphic variants Learning type-system	1	733	April 2, 2020
Talk, March 7, Effective Programming: Adding an Effect System to OCaml Community announce , type-system	16	3209	September 21, 2019
Containers interface & Passing constraints through functors Learning type-system , base , types , functor	9	1438	July 3, 2019
A heterogenous list (difflist) that you can both append to and safely access elements Learning type-system	9	3260	July 2, 2019
Generalize the fields of a record to apply validation (& other ops) Learning type-system	7	2011	November 30, 2018
Pattern matching on private strings Community type-system	33	4293	February 24, 2018
Catching type error in toplevel Learning type-system	6	1729	February 19, 2018
Function over GADT not "polymorphic enough" Learning type-system , gadt	2	1274	January 12, 2018
Practice: Making Invalid States Unrepresentable Learning type-system , learning	10	2254	November 30, 2017
A question on type/module equality Learning type-system , module , type-equality	12	2636	November 8, 2017
Value guaranteed to be set after initialization Learning type-system	8	1389	July 28, 2017
Why can't OCaml simplify this (conjunctive) polymorphic variant type? Learning type-system	8	2093	July 19, 2017

type-system