Topics tagged type-system

Topic	Replies	Views	Activity
Extensible variants and functors Learning type-system , module	5	803	January 5, 2023
Deconstructing polymorphic variant type Learning type-system , polymorphic-variants	5	684	December 17, 2022
GADT + functor : a type variable cannot be deduced Learning type-system , gadt , types , functor	2	715	October 17, 2022
System output of function's type inference looks like missing () Learning type-system , type-inference	1	504	October 9, 2022
Polymorphic type conversion Learning type-system	7	1135	September 17, 2022
Type conversion Learning type-system	3	2669	September 16, 2022
How to learn to fully exploit OCaml's type system Learning type-system , types , book	6	1725	August 18, 2022
What are abstract module types useful for? Learning type-system , module	2	2134	July 2, 2022
Using `failwith` does not type-check when the concrete return type is a `ref`. Why? Learning type-system	3	855	May 21, 2022
Polymorphic recursive classes Learning type-system , polymorphism	3	817	March 30, 2022
What changes would be required to the OCaml type system to make session types (or some kind of typestate) idiomatic? Community type-system	8	2330	March 1, 2021
Functori is hiring full-time engineers & Interns Jobs compiler , type-system , ocaml , metaprogramming	0	1634	February 2, 2022
[ANN] SWIPl-OCaml v0.5 - Never write your own unification algorithms again! Community announce , type-system , bindings	9	2435	December 9, 2021
What's a usage pattern for existential type variables? Learning type-system , existential-types	6	3988	September 28, 2021
Help with type trickery for implementing an Entity Component System framework Learning type-system , objects	6	1784	June 30, 2021
Type-bound value constructors with checks Learning type-system , types , dependent-types	3	998	June 25, 2021
AST tracking of type variables in polymorphic let-bindings (an old question) Ecosystem type-system	2	866	June 15, 2021
Why this code can't get compiled? Learning type-system	1	657	April 16, 2021
Is there any way to write recursive module types? Learning type-system , recursion , module	5	2343	January 7, 2021
GADTs - avoiding type constructor escaping scope problems Learning type-system , gadt	2	857	December 21, 2020
Best approach at implementing custom backends for OCaml in 2020 Ecosystem compiler , type-system , cross-compilation , js_of_ocaml	8	2174	December 13, 2020
Records, tuples and variants subtyping Community type-system	6	2922	September 29, 2020
Modular Implicits - When? Ecosystem compiler , modular-implicits , type-system	1	1199	September 14, 2020
Extensible variants and the equivalent of "manifest types"? Ecosystem type-system , ppx_deriving , ppx_deriving_yojson	0	847	May 8, 2020
Question about typing polymorphic variants Learning type-system	1	869	April 2, 2020
Talk, March 7, Effective Programming: Adding an Effect System to OCaml Community announce , type-system	16	3495	September 21, 2019
Containers interface & Passing constraints through functors Learning type-system , base , types , functor	9	1675	July 3, 2019
A heterogenous list (difflist) that you can both append to and safely access elements Learning type-system	9	3884	July 2, 2019
Generalize the fields of a record to apply validation (& other ops) Learning type-system	7	2377	November 30, 2018
Pattern matching on private strings Community type-system	33	4851	February 24, 2018