|
Oxidizing OCaml, and a new opam switch
|
|
2
|
1097
|
September 7, 2023
|
|
Which kind of recursive types are allowed?
|
|
11
|
275
|
September 4, 2023
|
|
Mapping GADT with Polymorphic Variant into a more restrictive form
|
|
5
|
368
|
May 24, 2023
|
|
Signature of a function changed when adding a recursion
|
|
2
|
423
|
April 7, 2023
|
|
Pie in the sky idea: Type recovery for a better debugging experience
|
|
10
|
534
|
February 17, 2023
|
|
Type definition contains a cycle?
|
|
13
|
1678
|
February 10, 2023
|
|
How come argument type cannot be infered in nested function?
|
|
5
|
425
|
January 27, 2023
|
|
Extensible variants and functors
|
|
5
|
387
|
January 5, 2023
|
|
Deconstructing polymorphic variant type
|
|
5
|
385
|
December 17, 2022
|
|
GADT + functor : a type variable cannot be deduced
|
|
2
|
396
|
October 17, 2022
|
|
System output of function's type inference looks like missing ()
|
|
1
|
318
|
October 9, 2022
|
|
Polymorphic type conversion
|
|
7
|
612
|
September 17, 2022
|
|
Type conversion
|
|
3
|
1142
|
September 16, 2022
|
|
How to learn to fully exploit OCaml's type system
|
|
6
|
884
|
August 18, 2022
|
|
What are abstract module types useful for?
|
|
2
|
1111
|
July 2, 2022
|
|
Using `failwith` does not type-check when the concrete return type is a `ref`. Why?
|
|
3
|
626
|
May 21, 2022
|
|
Polymorphic recursive classes
|
|
3
|
609
|
March 30, 2022
|
|
What changes would be required to the OCaml type system to make session types (or some kind of typestate) idiomatic?
|
|
8
|
1840
|
March 1, 2021
|
|
Functori is hiring full-time engineers & Interns
|
|
0
|
1323
|
February 2, 2022
|
|
[ANN] SWIPl-OCaml v0.5 - Never write your own unification algorithms again!
|
|
9
|
1635
|
December 9, 2021
|
|
What's a usage pattern for existential type variables?
|
|
6
|
2231
|
September 28, 2021
|
|
Help with type trickery for implementing an Entity Component System framework
|
|
6
|
1328
|
June 30, 2021
|
|
Type-bound value constructors with checks
|
|
3
|
641
|
June 25, 2021
|
|
AST tracking of type variables in polymorphic let-bindings (an old question)
|
|
2
|
679
|
June 15, 2021
|
|
Why this code can't get compiled?
|
|
1
|
539
|
April 16, 2021
|
|
FCM and modular implicits type system
|
|
0
|
1004
|
January 13, 2021
|
|
Is there any way to write recursive module types?
|
|
5
|
1558
|
January 7, 2021
|
|
GADTs - avoiding type constructor escaping scope problems
|
|
2
|
698
|
December 21, 2020
|
|
Best approach at implementing custom backends for OCaml in 2020
|
|
8
|
1839
|
December 13, 2020
|
|
Records, tuples and variants subtyping
|
|
6
|
2002
|
September 29, 2020
|