|
Extensible variants and functors
|
|
5
|
803
|
January 5, 2023
|
|
Deconstructing polymorphic variant type
|
|
5
|
684
|
December 17, 2022
|
|
GADT + functor : a type variable cannot be deduced
|
|
2
|
715
|
October 17, 2022
|
|
System output of function's type inference looks like missing ()
|
|
1
|
504
|
October 9, 2022
|
|
Polymorphic type conversion
|
|
7
|
1135
|
September 17, 2022
|
|
Type conversion
|
|
3
|
2669
|
September 16, 2022
|
|
How to learn to fully exploit OCaml's type system
|
|
6
|
1725
|
August 18, 2022
|
|
What are abstract module types useful for?
|
|
2
|
2134
|
July 2, 2022
|
|
Using `failwith` does not type-check when the concrete return type is a `ref`. Why?
|
|
3
|
855
|
May 21, 2022
|
|
Polymorphic recursive classes
|
|
3
|
817
|
March 30, 2022
|
|
What changes would be required to the OCaml type system to make session types (or some kind of typestate) idiomatic?
|
|
8
|
2330
|
March 1, 2021
|
|
Functori is hiring full-time engineers & Interns
|
|
0
|
1634
|
February 2, 2022
|
|
[ANN] SWIPl-OCaml v0.5 - Never write your own unification algorithms again!
|
|
9
|
2435
|
December 9, 2021
|
|
What's a usage pattern for existential type variables?
|
|
6
|
3988
|
September 28, 2021
|
|
Help with type trickery for implementing an Entity Component System framework
|
|
6
|
1784
|
June 30, 2021
|
|
Type-bound value constructors with checks
|
|
3
|
998
|
June 25, 2021
|
|
AST tracking of type variables in polymorphic let-bindings (an old question)
|
|
2
|
866
|
June 15, 2021
|
|
Why this code can't get compiled?
|
|
1
|
657
|
April 16, 2021
|
|
Is there any way to write recursive module types?
|
|
5
|
2343
|
January 7, 2021
|
|
GADTs - avoiding type constructor escaping scope problems
|
|
2
|
857
|
December 21, 2020
|
|
Best approach at implementing custom backends for OCaml in 2020
|
|
8
|
2174
|
December 13, 2020
|
|
Records, tuples and variants subtyping
|
|
6
|
2922
|
September 29, 2020
|
|
Modular Implicits - When?
|
|
1
|
1199
|
September 14, 2020
|
|
Extensible variants and the equivalent of "manifest types"?
|
|
0
|
847
|
May 8, 2020
|
|
Question about typing polymorphic variants
|
|
1
|
869
|
April 2, 2020
|
|
Talk, March 7, Effective Programming: Adding an Effect System to OCaml
|
|
16
|
3495
|
September 21, 2019
|
|
Containers interface & Passing constraints through functors
|
|
9
|
1675
|
July 3, 2019
|
|
A heterogenous list (difflist) that you can both append to and safely access elements
|
|
9
|
3884
|
July 2, 2019
|
|
Generalize the fields of a record to apply validation (& other ops)
|
|
7
|
2377
|
November 30, 2018
|
|
Pattern matching on private strings
|
|
33
|
4851
|
February 24, 2018
|