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