Topics tagged types

Topic	Replies	Views	Activity
Typing puzzle: type constructor arity abstraction (for Seqes) Learning types	3	291	December 14, 2022
How to declare a function signature as a datatype? Learning types	4	252	November 24, 2022
GADT + functor : a type variable cannot be deduced Learning type-system , gadt , types , functor	2	255	October 17, 2022
How to learn to fully exploit OCaml's type system Learning type-system , types , book	6	580	August 18, 2022
Type of parameterized class is not bound within methods Learning module , types , first-class_modules , objects , exceptions	4	452	April 3, 2022
Typechecking regression between OCaml 4.12 and OCaml 4.13.1? Community types , regression	0	335	November 1, 2021
Abstract data structure type Learning types	9	902	October 18, 2021
Weak type when composing pretty printers Learning types	21	746	August 23, 2021
Type-bound value constructors with checks Learning type-system , types , dependent-types	3	545	June 25, 2021
[ANN] ppx_let_locs - improve stack traces Community announce , ppx , types	0	698	April 10, 2021
Functor implementing polymorphic module type... Help! Learning types , functor , polymorphism	11	1084	September 9, 2020
Protocol buffers and parametric polymorphism Ecosystem types , polymorphism , protobufs	1	564	June 23, 2020
What is this syntax `type t = (string,int,String.comparator_witness) Map.t`? Learning types , syntax	2	1197	April 21, 2020
Types as first class citizens in OCaml Learning types , dynamic-programming	8	4950	February 17, 2020
How to enforce constraints / subtype in a polymorpic function Learning types	3	815	December 12, 2019
Containers interface & Passing constraints through functors Learning type-system , base , types , functor	9	1235	July 3, 2019
Is there a tool to do automatic serialization/deserialization AND automatic schema migration (from OCaml types)? Ecosystem types , serialization	11	2476	June 4, 2019
"Master" types in Jane St versioned RPC, can they change? Ecosystem rpc , types , library	0	618	March 11, 2019
ATD - static types for json APIs, v1.13.0 \| new documentation home Community announce , documentation , types , json , atd	9	1443	June 2, 2018
Is there any OCaml(not ML or StandardML) - inspired languages with dependent types and algebraic affects? Learning language , types	5	1703	November 20, 2017