Topics tagged type-system

Topic	Replies	Views	Activity
Type definition contains a cycle? Learning type-system	10	432	July 27, 2021
Help with type trickery for implementing an Entity Component System framework Learning type-system , objects	6	571	June 30, 2021
Type-bound value constructors with checks Learning type-system , types , dependent-types	3	249	June 25, 2021
AST tracking of type variables in polymorphic let-bindings (an old question) Ecosystem type-system	2	298	June 15, 2021
Why this code can't get compiled? Learning type-system	1	208	April 16, 2021
What changes would be required to the OCaml type system to make session types (or some kind of typestate) idiomatic? Community type-system	8	1044	March 1, 2021
FCM and modular implicits type system Learning modular-implicits , type-system , first-class_modules	0	423	January 13, 2021
Is there any way to write recursive module types? Learning type-system , recursion , module	5	575	January 7, 2021
GADTs - avoiding type constructor escaping scope problems Learning type-system , gadt	2	323	December 21, 2020
Best approach at implementing custom backends for OCaml in 2020 Ecosystem compiler , type-system , cross-compilation , js_of_ocaml	8	896	December 13, 2020
Records, tuples and variants subtyping Community type-system	6	857	September 29, 2020
Modular Implicits - When? Ecosystem compiler , modular-implicits , type-system	1	525	September 14, 2020
Extensible variants and the equivalent of "manifest types"? Ecosystem type-system , ppx_deriving , ppx_deriving_yojson	0	302	May 8, 2020
Question about typing polymorphic variants Learning type-system	1	313	April 2, 2020
Talk, March 7, Effective Programming: Adding an Effect System to OCaml Community announce , type-system	16	2475	September 21, 2019
Containers interface & Passing constraints through functors Learning type-system , base , types , functor	9	770	July 3, 2019
A heterogenous list (difflist) that you can both append to and safely access elements Learning type-system	9	1888	July 2, 2019
Generalize the fields of a record to apply validation (& other ops) Learning type-system	7	1209	November 30, 2018
Pattern matching on private strings Community type-system	33	3159	February 24, 2018
Catching type error in toplevel Learning type-system	6	1185	February 19, 2018
Function over GADT not "polymorphic enough" Learning type-system , gadt	2	892	January 12, 2018
Practice: Making Invalid States Unrepresentable Learning type-system , learning	10	1522	November 30, 2017
A question on type/module equality Learning type-system , module , type-equality	12	1826	November 8, 2017
Value guaranteed to be set after initialization Learning type-system	8	1013	July 28, 2017
Why can't OCaml simplify this (conjunctive) polymorphic variant type? Learning type-system	8	1398	July 19, 2017