Mismatched types between customized compilation units
|
|
7
|
196
|
March 5, 2024
|
Specify a type constraint - not a function
|
|
5
|
277
|
January 12, 2024
|
Passing (the output of) one function straight into another
|
|
3
|
358
|
November 27, 2023
|
Correct use of modules and types
|
|
2
|
509
|
October 15, 2023
|
Type inequality constraints?
|
|
7
|
715
|
June 11, 2023
|
Id monad evaluation returning abstact type instead of int result
|
|
11
|
410
|
May 2, 2023
|
Typing puzzle: type constructor arity abstraction (for Seqes)
|
|
3
|
588
|
December 14, 2022
|
How to declare a function signature as a datatype?
|
|
4
|
619
|
November 24, 2022
|
GADT + functor : a type variable cannot be deduced
|
|
2
|
565
|
October 17, 2022
|
How to learn to fully exploit OCaml's type system
|
|
6
|
1104
|
August 18, 2022
|
Type of parameterized class is not bound within methods
|
|
4
|
715
|
April 3, 2022
|
Typechecking regression between OCaml 4.12 and OCaml 4.13.1?
|
|
0
|
471
|
November 1, 2021
|
Abstract data structure type
|
|
9
|
1684
|
October 18, 2021
|
Weak type when composing pretty printers
|
|
21
|
1157
|
August 23, 2021
|
Type-bound value constructors with checks
|
|
3
|
831
|
June 25, 2021
|
[ANN] ppx_let_locs - improve stack traces
|
|
0
|
935
|
April 10, 2021
|
Functor implementing polymorphic module type... Help!
|
|
11
|
1747
|
September 9, 2020
|
Protocol buffers and parametric polymorphism
|
|
1
|
867
|
June 23, 2020
|
What is this syntax `type t = (string,int,String.comparator_witness) Map.t`?
|
|
2
|
2043
|
April 21, 2020
|
Types as first class citizens in OCaml
|
|
8
|
5981
|
February 17, 2020
|
How to enforce constraints / subtype in a polymorpic function
|
|
3
|
1130
|
December 12, 2019
|
Containers interface & Passing constraints through functors
|
|
9
|
1571
|
July 3, 2019
|
Is there a tool to do automatic serialization/deserialization AND automatic schema migration (from OCaml types)?
|
|
11
|
3102
|
June 4, 2019
|
"Master" types in Jane St versioned RPC, can they change?
|
|
0
|
811
|
March 11, 2019
|
ATD - static types for json APIs, v1.13.0 | new documentation home
|
|
9
|
1723
|
June 2, 2018
|
Is there any OCaml(not ML or StandardML) - inspired languages with dependent types and algebraic affects?
|
|
5
|
2133
|
November 20, 2017
|