Topics tagged type-system

Topic	Replies	Views	Activity
How come argument type cannot be infered in nested function? Learning type-system , type-inference	5	189	January 27, 2023
Extensible variants and functors Learning type-system , module	5	189	January 5, 2023
Deconstructing polymorphic variant type Learning type-system , polymorphic-variants	5	234	December 17, 2022
GADT + functor : a type variable cannot be deduced Learning type-system , gadt , types , functor	2	255	October 17, 2022
System output of function's type inference looks like missing () Learning type-system , type-inference	1	221	October 9, 2022
Polymorphic type conversion Learning type-system	7	416	September 17, 2022
Type conversion Learning type-system	3	446	September 16, 2022
How to learn to fully exploit OCaml's type system Learning type-system , types , book	6	580	August 18, 2022
What are abstract module types useful for? Learning type-system , module	2	627	July 2, 2022
Using `failwith` does not type-check when the concrete return type is a `ref`. Why? Learning type-system	3	519	May 21, 2022
Polymorphic recursive classes Learning type-system , polymorphism	3	529	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	1659	March 1, 2021
Functori is hiring full-time engineers & Interns Jobs compiler , type-system , ocaml , metaprogramming	0	1057	February 2, 2022
[ANN] SWIPl-OCaml v0.5 - Never write your own unification algorithms again! Community announce , type-system , bindings	9	1207	December 9, 2021
What's a usage pattern for existential type variables? Learning type-system , existential-types	6	1560	September 28, 2021
Type definition contains a cycle? Learning type-system	10	1062	July 27, 2021
Help with type trickery for implementing an Entity Component System framework Learning type-system , objects	6	1050	June 30, 2021
Type-bound value constructors with checks Learning type-system , types , dependent-types	3	545	June 25, 2021
AST tracking of type variables in polymorphic let-bindings (an old question) Ecosystem type-system	2	587	June 15, 2021
Why this code can't get compiled? Learning type-system	1	450	April 16, 2021
FCM and modular implicits type system Learning modular-implicits , type-system , first-class_modules	0	756	January 13, 2021
Is there any way to write recursive module types? Learning type-system , recursion , module	5	1210	January 7, 2021
GADTs - avoiding type constructor escaping scope problems Learning type-system , gadt	2	622	December 21, 2020
Best approach at implementing custom backends for OCaml in 2020 Ecosystem compiler , type-system , cross-compilation , js_of_ocaml	8	1521	December 13, 2020
Records, tuples and variants subtyping Community type-system	6	1569	September 29, 2020
Modular Implicits - When? Ecosystem compiler , modular-implicits , type-system	1	806	September 14, 2020
Extensible variants and the equivalent of "manifest types"? Ecosystem type-system , ppx_deriving , ppx_deriving_yojson	0	588	May 8, 2020
Question about typing polymorphic variants Learning type-system	1	630	April 2, 2020
Talk, March 7, Effective Programming: Adding an Effect System to OCaml Community announce , type-system	16	3024	September 21, 2019
Containers interface & Passing constraints through functors Learning type-system , base , types , functor	9	1235	July 3, 2019