How can you "un-functorize" an API to make it polymorphic while retaining type safety and efficiency?
|
|
10
|
309
|
January 23, 2025
|
Polymorphism in OCAML
|
|
7
|
685
|
July 12, 2024
|
Explicitly polymorphic function inside a universally quantified record field (e.g., an effect handler)?
|
|
6
|
406
|
January 17, 2024
|
Mapping GADT AST node to list of it's children not allowed by compiler?
|
|
3
|
846
|
August 26, 2022
|
Polymorphic recursive classes
|
|
3
|
775
|
March 30, 2022
|
GADT and polymorphic recursion
|
|
1
|
1155
|
January 19, 2022
|
Constraining type parameter to be polymorphic variant
|
|
3
|
780
|
January 25, 2021
|
Problem with subtyping in polymorphic variant in gadt
|
|
1
|
1173
|
October 24, 2020
|
Functor implementing polymorphic module type... Help!
|
|
11
|
2033
|
September 9, 2020
|
Filtering constructors by type variable (GADTs + polymorphic variants)
|
|
6
|
1137
|
August 7, 2020
|
Protocol buffers and parametric polymorphism
|
|
1
|
953
|
June 23, 2020
|
How to cause functor types to "inherit" their elements' polymorphic variant subtyping relations
|
|
4
|
1676
|
May 24, 2019
|
Keeping polymorphism of universally quantified fields
|
|
4
|
1551
|
March 28, 2019
|
Arbitrary polymorphic variants as parameters
|
|
4
|
1402
|
March 25, 2019
|
How to "merge" unknown tuples?
|
|
6
|
3995
|
August 16, 2018
|