Topics tagged type-system

Topic	Replies	Views	Activity
Polymorphic type conversion Learning type-system	7	1061	September 17, 2022
Type conversion Learning type-system	3	2536	September 16, 2022
How to learn to fully exploit OCaml's type system Learning type-system , types , book	6	1476	August 18, 2022
What are abstract module types useful for? Learning type-system , module	2	2033	July 2, 2022
Using `failwith` does not type-check when the concrete return type is a `ref`. Why? Learning type-system	3	797	May 21, 2022
Polymorphic recursive classes Learning type-system , polymorphism	3	775	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	2248	March 1, 2021
Functori is hiring full-time engineers & Interns Jobs compiler , type-system , ocaml , metaprogramming	0	1615	February 2, 2022
[ANN] SWIPl-OCaml v0.5 - Never write your own unification algorithms again! Community announce , type-system , bindings	9	2370	December 9, 2021
What's a usage pattern for existential type variables? Learning type-system , existential-types	6	3720	September 28, 2021
Help with type trickery for implementing an Entity Component System framework Learning type-system , objects	6	1715	June 30, 2021
Type-bound value constructors with checks Learning type-system , types , dependent-types	3	944	June 25, 2021
AST tracking of type variables in polymorphic let-bindings (an old question) Ecosystem type-system	2	840	June 15, 2021
Why this code can't get compiled? Learning type-system	1	641	April 16, 2021
Is there any way to write recursive module types? Learning type-system , recursion , module	5	2215	January 7, 2021
GADTs - avoiding type constructor escaping scope problems Learning type-system , gadt	2	828	December 21, 2020
Best approach at implementing custom backends for OCaml in 2020 Ecosystem compiler , type-system , cross-compilation , js_of_ocaml	8	2113	December 13, 2020
Records, tuples and variants subtyping Community type-system	6	2830	September 29, 2020
Modular Implicits - When? Ecosystem compiler , modular-implicits , type-system	1	1172	September 14, 2020
Extensible variants and the equivalent of "manifest types"? Ecosystem type-system , ppx_deriving , ppx_deriving_yojson	0	819	May 8, 2020
Question about typing polymorphic variants Learning type-system	1	829	April 2, 2020
Talk, March 7, Effective Programming: Adding an Effect System to OCaml Community announce , type-system	16	3395	September 21, 2019
Containers interface & Passing constraints through functors Learning type-system , base , types , functor	9	1625	July 3, 2019
A heterogenous list (difflist) that you can both append to and safely access elements Learning type-system	9	3778	July 2, 2019
Generalize the fields of a record to apply validation (& other ops) Learning type-system	7	2310	November 30, 2018
Pattern matching on private strings Community type-system	33	4693	February 24, 2018
Catching type error in toplevel Learning type-system	6	1905	February 19, 2018
Function over GADT not "polymorphic enough" Learning type-system , gadt	2	1379	January 12, 2018
Practice: Making Invalid States Unrepresentable Learning type-system , learning	10	2562	November 30, 2017
A question on type/module equality Learning type-system , module , type-equality	12	2866	November 8, 2017