The alias problem : Lightweight HK polymorphism
|
|
5
|
597
|
September 17, 2024
|
Does using object types in GADTs get you any more power?
|
|
10
|
811
|
September 16, 2024
|
[ANN] Oxidizing OCaml — an update
|
|
4
|
679
|
September 9, 2024
|
Getting a recursive function to typecheck
|
|
3
|
130
|
July 3, 2024
|
FCM and modular implicits type system
|
|
6
|
2078
|
July 2, 2024
|
Faking type families to encode extensible tagless-final interpreters
|
|
2
|
304
|
May 16, 2024
|
Question on GADT and variance annotation
|
|
6
|
330
|
May 5, 2024
|
Empty records and record types?
|
|
4
|
509
|
March 29, 2024
|
Oxidizing OCaml, and a new opam switch
|
|
4
|
2807
|
March 24, 2024
|
Mismatched types between customized compilation units
|
|
7
|
252
|
March 5, 2024
|
Generalisation error
|
|
2
|
187
|
February 29, 2024
|
Unification and pattern matching
|
|
2
|
285
|
February 27, 2024
|
Weird behaviors with first order polymorphism
|
|
5
|
553
|
January 5, 2024
|
Typing error with polymorphic variant
|
|
9
|
897
|
December 29, 2023
|
Which kind of recursive types are allowed?
|
|
11
|
1068
|
September 4, 2023
|
Mapping GADT with Polymorphic Variant into a more restrictive form
|
|
5
|
754
|
May 24, 2023
|
Signature of a function changed when adding a recursion
|
|
2
|
614
|
April 7, 2023
|
Pie in the sky idea: Type recovery for a better debugging experience
|
|
10
|
764
|
February 17, 2023
|
Type definition contains a cycle?
|
|
13
|
2379
|
February 10, 2023
|
How come argument type cannot be infered in nested function?
|
|
5
|
640
|
January 27, 2023
|
Extensible variants and functors
|
|
5
|
695
|
January 5, 2023
|
Deconstructing polymorphic variant type
|
|
5
|
613
|
December 17, 2022
|
GADT + functor : a type variable cannot be deduced
|
|
2
|
626
|
October 17, 2022
|
System output of function's type inference looks like missing ()
|
|
1
|
476
|
October 9, 2022
|
Polymorphic type conversion
|
|
7
|
1020
|
September 17, 2022
|
Type conversion
|
|
3
|
2328
|
September 16, 2022
|
How to learn to fully exploit OCaml's type system
|
|
6
|
1303
|
August 18, 2022
|
What are abstract module types useful for?
|
|
2
|
1951
|
July 2, 2022
|
Using `failwith` does not type-check when the concrete return type is a `ref`. Why?
|
|
3
|
782
|
May 21, 2022
|
Polymorphic recursive classes
|
|
3
|
771
|
March 30, 2022
|