Topic	Replies	Views	Activity
Protocol buffers and parametric polymorphism Ecosystem types , polymorphism , protobufs	2	211	June 23, 2020
What is this syntax `type t = (string,int,String.comparator_witness) Map.t`? Learning types , syntax	3	213	April 21, 2020
Types as first class citizens in OCaml Learning types , dynamic-programming	9	2748	February 17, 2020
How to enforce constraints / subtype in a polymorpic function Learning types	4	305	December 12, 2019
Containers interface & Passing constraints through functors Learning type-system , base , types , functor	10	473	July 3, 2019
Is there a tool to do automatic serialization/deserialization AND automatic schema migration (from OCaml types)? Ecosystem types , serialization	12	1403	June 4, 2019
"Master" types in Jane St versioned RPC, can they change? Ecosystem rpc , types , library	1	289	March 11, 2019
ATD - static types for json APIs, v1.13.0 \| new documentation home Community announce , documentation , types , json , atd	10	946	June 2, 2018
Is there any OCaml(not ML or StandardML) - inspired languages with dependent types and algebraic affects? Learning language , types	6	1261	November 20, 2017

types