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