|
Default argument to functors?
|
|
1
|
83
|
May 21, 2026
|
|
How can you "un-functorize" an API to make it polymorphic while retaining type safety and efficiency?
|
|
10
|
395
|
January 23, 2025
|
|
Polymorphism in OCAML
|
|
7
|
843
|
July 12, 2024
|
|
Explicitly polymorphic function inside a universally quantified record field (e.g., an effect handler)?
|
|
6
|
478
|
January 17, 2024
|
|
Mapping GADT AST node to list of it's children not allowed by compiler?
|
|
3
|
874
|
August 26, 2022
|
|
Polymorphic recursive classes
|
|
3
|
823
|
March 30, 2022
|
|
GADT and polymorphic recursion
|
|
1
|
1200
|
January 19, 2022
|
|
Constraining type parameter to be polymorphic variant
|
|
3
|
814
|
January 25, 2021
|
|
Problem with subtyping in polymorphic variant in gadt
|
|
1
|
1207
|
October 24, 2020
|
|
Functor implementing polymorphic module type... Help!
|
|
11
|
2139
|
September 9, 2020
|
|
Filtering constructors by type variable (GADTs + polymorphic variants)
|
|
6
|
1190
|
August 7, 2020
|
|
Protocol buffers and parametric polymorphism
|
|
1
|
986
|
June 23, 2020
|
|
How to cause functor types to "inherit" their elements' polymorphic variant subtyping relations
|
|
4
|
1729
|
May 24, 2019
|
|
Keeping polymorphism of universally quantified fields
|
|
4
|
1588
|
March 28, 2019
|
|
Arbitrary polymorphic variants as parameters
|
|
4
|
1441
|
March 25, 2019
|
|
How to "merge" unknown tuples?
|
|
6
|
4089
|
August 16, 2018
|