How come argument type cannot be infered in nested function?
|
|
5
|
189
|
January 27, 2023
|
Extensible variants and functors
|
|
5
|
189
|
January 5, 2023
|
Deconstructing polymorphic variant type
|
|
5
|
234
|
December 17, 2022
|
GADT + functor : a type variable cannot be deduced
|
|
2
|
255
|
October 17, 2022
|
System output of function's type inference looks like missing ()
|
|
1
|
221
|
October 9, 2022
|
Polymorphic type conversion
|
|
7
|
416
|
September 17, 2022
|
Type conversion
|
|
3
|
446
|
September 16, 2022
|
How to learn to fully exploit OCaml's type system
|
|
6
|
580
|
August 18, 2022
|
What are abstract module types useful for?
|
|
2
|
627
|
July 2, 2022
|
Using `failwith` does not type-check when the concrete return type is a `ref`. Why?
|
|
3
|
519
|
May 21, 2022
|
Polymorphic recursive classes
|
|
3
|
529
|
March 30, 2022
|
What changes would be required to the OCaml type system to make session types (or some kind of typestate) idiomatic?
|
|
8
|
1659
|
March 1, 2021
|
Functori is hiring full-time engineers & Interns
|
|
0
|
1057
|
February 2, 2022
|
[ANN] SWIPl-OCaml v0.5 - Never write your own unification algorithms again!
|
|
9
|
1207
|
December 9, 2021
|
What's a usage pattern for existential type variables?
|
|
6
|
1560
|
September 28, 2021
|
Type definition contains a cycle?
|
|
10
|
1062
|
July 27, 2021
|
Help with type trickery for implementing an Entity Component System framework
|
|
6
|
1050
|
June 30, 2021
|
Type-bound value constructors with checks
|
|
3
|
545
|
June 25, 2021
|
AST tracking of type variables in polymorphic let-bindings (an old question)
|
|
2
|
587
|
June 15, 2021
|
Why this code can't get compiled?
|
|
1
|
450
|
April 16, 2021
|
FCM and modular implicits type system
|
|
0
|
756
|
January 13, 2021
|
Is there any way to write recursive module types?
|
|
5
|
1210
|
January 7, 2021
|
GADTs - avoiding type constructor escaping scope problems
|
|
2
|
622
|
December 21, 2020
|
Best approach at implementing custom backends for OCaml in 2020
|
|
8
|
1521
|
December 13, 2020
|
Records, tuples and variants subtyping
|
|
6
|
1569
|
September 29, 2020
|
Modular Implicits - When?
|
|
1
|
806
|
September 14, 2020
|
Extensible variants and the equivalent of "manifest types"?
|
|
0
|
588
|
May 8, 2020
|
Question about typing polymorphic variants
|
|
1
|
630
|
April 2, 2020
|
Talk, March 7, Effective Programming: Adding an Effect System to OCaml
|
|
16
|
3024
|
September 21, 2019
|
Containers interface & Passing constraints through functors
|
|
9
|
1235
|
July 3, 2019
|