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