|
Modular Implicits - When?
|
|
2
|
236
|
September 14, 2020
|
|
What changes would be required to the OCaml type system to make session types (or some kind of typestate) idiomatic?
|
|
8
|
616
|
May 16, 2020
|
|
Extensible variants and the equivalent of "manifest types"?
|
|
1
|
191
|
May 8, 2020
|
|
Question about typing polymorphic variants
|
|
2
|
211
|
April 2, 2020
|
|
Talk, March 7, Effective Programming: Adding an Effect System to OCaml
|
|
17
|
2220
|
September 21, 2019
|
|
Containers interface & Passing constraints through functors
|
|
10
|
520
|
July 3, 2019
|
|
A heterogenous list (difflist) that you can both append to and safely access elements
|
|
10
|
1363
|
July 2, 2019
|
|
Generalize the fields of a record to apply validation (& other ops)
|
|
8
|
853
|
November 30, 2018
|
|
Pattern matching on private strings
|
|
34
|
2691
|
February 24, 2018
|
|
Catching type error in toplevel
|
|
7
|
988
|
February 19, 2018
|
|
Function over GADT not "polymorphic enough"
|
|
3
|
727
|
January 12, 2018
|
|
Practice: Making Invalid States Unrepresentable
|
|
11
|
1341
|
November 30, 2017
|
|
A question on type/module equality
|
|
13
|
1462
|
November 8, 2017
|
|
Value guaranteed to be set after initialization
|
|
9
|
901
|
July 28, 2017
|
|
Why can't OCaml simplify this (conjunctive) polymorphic variant type?
|
|
9
|
1192
|
July 19, 2017
|
