Topics tagged types

Topic	Replies	Views	Activity
Parameterized GADT type witnesses Learning type-system , gadt , types	6	211	June 16, 2025
Uniqueness for Behavioural Types · KC Sivaramakrishnan Ecosystem compiler , types , oxcaml , modes	4	551	June 7, 2025
Using GADTs to track properties of a state type. Help and alternative approaches? Learning language-design , type-system , gadt , types , datastructures	3	346	January 6, 2025
Why are mutually recursive type aliases with lists are cyclic? Learning types	3	246	December 21, 2024
Designing a back-end framework : callbacks types Learning types , opium	1	197	December 17, 2024
Figuring out how to return an open polymorphic variant from application to a module Learning types , first-class_modules , type-inference , polymorphic-variants , module-type	2	216	September 18, 2024
Types as first class citizens in OCaml Learning types , dynamic-programming	11	6699	September 15, 2024
Mismatched types between customized compilation units Learning type-system , module , types , module-type	7	319	March 5, 2024
Specify a type constraint - not a function Learning types , melange	5	396	January 12, 2024
Passing (the output of) one function straight into another Learning types , syntax , beginner , tutorial , functions	3	540	November 27, 2023
Correct use of modules and types Learning types , modules	2	1099	October 15, 2023
Type inequality constraints? Community types	7	949	June 11, 2023
Id monad evaluation returning abstact type instead of int result Learning monads , types	11	542	May 2, 2023
Typing puzzle: type constructor arity abstraction (for Seqes) Learning types	3	657	December 14, 2022
How to declare a function signature as a datatype? Learning types	4	848	November 24, 2022
GADT + functor : a type variable cannot be deduced Learning type-system , gadt , types , functor	2	721	October 17, 2022
How to learn to fully exploit OCaml's type system Learning type-system , types , book	6	1766	August 18, 2022
Type of parameterized class is not bound within methods Learning module , types , first-class_modules , objects , exceptions	4	837	April 3, 2022
Typechecking regression between OCaml 4.12 and OCaml 4.13.1? Community types , regression	0	515	November 1, 2021
Abstract data structure type Learning types	9	1996	October 18, 2021
Weak type when composing pretty printers Learning types	21	1406	August 23, 2021
Type-bound value constructors with checks Learning type-system , types , dependent-types	3	1008	June 25, 2021
[ANN] ppx_let_locs - improve stack traces Community announce , ppx , types	0	1017	April 10, 2021
Functor implementing polymorphic module type... Help! Learning types , functor , polymorphism	11	2135	September 9, 2020
Protocol buffers and parametric polymorphism Ecosystem types , polymorphism , protobufs	1	984	June 23, 2020
What is this syntax `type t = (string,int,String.comparator_witness) Map.t`? Learning types , syntax	2	2225	April 21, 2020
How to enforce constraints / subtype in a polymorpic function Learning types	3	1267	December 12, 2019
Containers interface & Passing constraints through functors Learning type-system , base , types , functor	9	1678	July 3, 2019
Is there a tool to do automatic serialization/deserialization AND automatic schema migration (from OCaml types)? Ecosystem types , serialization	11	3375	June 4, 2019
"Master" types in Jane St versioned RPC, can they change? Ecosystem rpc , types , library	0	858	March 11, 2019