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