AST tracking of type variables in polymorphic let-bindings (an old question)
|
|
2
|
776
|
June 15, 2021
|
Why this code can't get compiled?
|
|
1
|
602
|
April 16, 2021
|
FCM and modular implicits type system
|
|
0
|
1114
|
January 13, 2021
|
Is there any way to write recursive module types?
|
|
5
|
1865
|
January 7, 2021
|
GADTs - avoiding type constructor escaping scope problems
|
|
2
|
769
|
December 21, 2020
|
Best approach at implementing custom backends for OCaml in 2020
|
|
8
|
1996
|
December 13, 2020
|
Records, tuples and variants subtyping
|
|
6
|
2430
|
September 29, 2020
|
Modular Implicits - When?
|
|
1
|
1078
|
September 14, 2020
|
Extensible variants and the equivalent of "manifest types"?
|
|
0
|
751
|
May 8, 2020
|
Question about typing polymorphic variants
|
|
1
|
772
|
April 2, 2020
|
Talk, March 7, Effective Programming: Adding an Effect System to OCaml
|
|
16
|
3292
|
September 21, 2019
|
Containers interface & Passing constraints through functors
|
|
9
|
1551
|
July 3, 2019
|
A heterogenous list (difflist) that you can both append to and safely access elements
|
|
9
|
3431
|
July 2, 2019
|
Generalize the fields of a record to apply validation (& other ops)
|
|
7
|
2136
|
November 30, 2018
|
Pattern matching on private strings
|
|
33
|
4472
|
February 24, 2018
|
Catching type error in toplevel
|
|
6
|
1805
|
February 19, 2018
|
Function over GADT not "polymorphic enough"
|
|
2
|
1320
|
January 12, 2018
|
Practice: Making Invalid States Unrepresentable
|
|
10
|
2384
|
November 30, 2017
|
A question on type/module equality
|
|
12
|
2701
|
November 8, 2017
|
Value guaranteed to be set after initialization
|
|
8
|
1443
|
July 28, 2017
|
Why can't OCaml simplify this (conjunctive) polymorphic variant type?
|
|
8
|
2195
|
July 19, 2017
|