Using GADTs to track properties of a state type. Help and alternative approaches?
|
|
3
|
294
|
January 6, 2025
|
Why are mutually recursive type aliases with lists are cyclic?
|
|
3
|
191
|
December 21, 2024
|
Designing a back-end framework : callbacks types
|
|
1
|
184
|
December 17, 2024
|
Figuring out how to return an open polymorphic variant from application to a module
|
|
2
|
172
|
September 18, 2024
|
Types as first class citizens in OCaml
|
|
11
|
6560
|
September 15, 2024
|
Mismatched types between customized compilation units
|
|
7
|
271
|
March 5, 2024
|
Specify a type constraint - not a function
|
|
5
|
356
|
January 12, 2024
|
Passing (the output of) one function straight into another
|
|
3
|
488
|
November 27, 2023
|
Correct use of modules and types
|
|
2
|
938
|
October 15, 2023
|
Type inequality constraints?
|
|
7
|
872
|
June 11, 2023
|
Id monad evaluation returning abstact type instead of int result
|
|
11
|
467
|
May 2, 2023
|
Typing puzzle: type constructor arity abstraction (for Seqes)
|
|
3
|
628
|
December 14, 2022
|
How to declare a function signature as a datatype?
|
|
4
|
754
|
November 24, 2022
|
GADT + functor : a type variable cannot be deduced
|
|
2
|
663
|
October 17, 2022
|
How to learn to fully exploit OCaml's type system
|
|
6
|
1407
|
August 18, 2022
|
Type of parameterized class is not bound within methods
|
|
4
|
782
|
April 3, 2022
|
Typechecking regression between OCaml 4.12 and OCaml 4.13.1?
|
|
0
|
499
|
November 1, 2021
|
Abstract data structure type
|
|
9
|
1906
|
October 18, 2021
|
Weak type when composing pretty printers
|
|
21
|
1279
|
August 23, 2021
|
Type-bound value constructors with checks
|
|
3
|
939
|
June 25, 2021
|
[ANN] ppx_let_locs - improve stack traces
|
|
0
|
1003
|
April 10, 2021
|
Functor implementing polymorphic module type... Help!
|
|
11
|
2008
|
September 9, 2020
|
Protocol buffers and parametric polymorphism
|
|
1
|
946
|
June 23, 2020
|
What is this syntax `type t = (string,int,String.comparator_witness) Map.t`?
|
|
2
|
2178
|
April 21, 2020
|
How to enforce constraints / subtype in a polymorpic function
|
|
3
|
1220
|
December 12, 2019
|
Containers interface & Passing constraints through functors
|
|
9
|
1624
|
July 3, 2019
|
Is there a tool to do automatic serialization/deserialization AND automatic schema migration (from OCaml types)?
|
|
11
|
3277
|
June 4, 2019
|
"Master" types in Jane St versioned RPC, can they change?
|
|
0
|
846
|
March 11, 2019
|
ATD - static types for json APIs, v1.13.0 | new documentation home
|
|
9
|
1805
|
June 2, 2018
|
Is there any OCaml(not ML or StandardML) - inspired languages with dependent types and algebraic affects?
|
|
5
|
2218
|
November 20, 2017
|