|
A trick to define abstract types without writing down module types
|
|
5
|
363
|
December 16, 2025
|
|
Question on GADT and variance annotation
|
|
7
|
613
|
October 23, 2025
|
|
Emulating Type Classes in OCaml
|
|
14
|
618
|
August 19, 2025
|
|
Types for constraining any number of arguments for a function
|
|
3
|
236
|
August 14, 2025
|
|
Which is less generic than
|
|
3
|
224
|
July 18, 2025
|
|
TRMC across GADT packing
|
|
10
|
401
|
June 18, 2025
|
|
Parameterized GADT type witnesses
|
|
6
|
226
|
June 16, 2025
|
|
Xscreensaver interface for ocaml
|
|
8
|
374
|
January 16, 2025
|
|
Using GADTs to track properties of a state type. Help and alternative approaches?
|
|
3
|
349
|
January 6, 2025
|
|
Construct with user types safely with capital letter
|
|
3
|
237
|
December 24, 2024
|
|
Type inference vs pointfree style
|
|
1
|
308
|
December 12, 2024
|
|
The alias problem : Lightweight HK polymorphism
|
|
5
|
672
|
September 17, 2024
|
|
Does using object types in GADTs get you any more power?
|
|
10
|
1002
|
September 16, 2024
|
|
[ANN] Oxidizing OCaml — an update
|
|
4
|
1130
|
September 9, 2024
|
|
Getting a recursive function to typecheck
|
|
3
|
202
|
July 3, 2024
|
|
FCM and modular implicits type system
|
|
6
|
2243
|
July 2, 2024
|
|
Faking type families to encode extensible tagless-final interpreters
|
|
2
|
365
|
May 16, 2024
|
|
Empty records and record types?
|
|
4
|
854
|
March 29, 2024
|
|
Oxidizing OCaml, and a new opam switch
|
|
4
|
3122
|
March 24, 2024
|
|
Mismatched types between customized compilation units
|
|
7
|
326
|
March 5, 2024
|
|
Generalisation error
|
|
2
|
231
|
February 29, 2024
|
|
Unification and pattern matching
|
|
2
|
451
|
February 27, 2024
|
|
Weird behaviors with first order polymorphism
|
|
5
|
643
|
January 5, 2024
|
|
Typing error with polymorphic variant
|
|
9
|
1223
|
December 29, 2023
|
|
Which kind of recursive types are allowed?
|
|
11
|
1736
|
September 4, 2023
|
|
Mapping GADT with Polymorphic Variant into a more restrictive form
|
|
5
|
859
|
May 24, 2023
|
|
Signature of a function changed when adding a recursion
|
|
2
|
644
|
April 7, 2023
|
|
Pie in the sky idea: Type recovery for a better debugging experience
|
|
10
|
853
|
February 17, 2023
|
|
Type definition contains a cycle?
|
|
13
|
2664
|
February 10, 2023
|
|
How come argument type cannot be infered in nested function?
|
|
5
|
714
|
January 27, 2023
|