Topic	Replies	Views	Activity
Default argument to functors? Learning module , types , functor , polymorphism , beginner	2	288	May 22, 2026
How can you "un-functorize" an API to make it polymorphic while retaining type safety and efficiency? Learning package-design , polymorphism , pattern	10	479	January 23, 2025
Polymorphism in OCAML Learning polymorphism	7	972	July 12, 2024
Explicitly polymorphic function inside a universally quantified record field (e.g., an effect handler)? Learning effects , gadt , polymorphism	6	537	January 17, 2024
Mapping GADT AST node to list of it's children not allowed by compiler? Learning compiler , gadt , polymorphism , ast	3	888	August 26, 2022
Polymorphic recursive classes Learning type-system , polymorphism	3	867	March 30, 2022
GADT and polymorphic recursion Learning gadt , polymorphism	1	1231	January 19, 2022
Constraining type parameter to be polymorphic variant Learning polymorphism	3	849	January 25, 2021
Problem with subtyping in polymorphic variant in gadt Learning gadt , polymorphism	1	1217	October 24, 2020
Functor implementing polymorphic module type... Help! Learning types , functor , polymorphism	11	2216	September 9, 2020
Filtering constructors by type variable (GADTs + polymorphic variants) Learning gadt , polymorphism	6	1244	August 7, 2020
Protocol buffers and parametric polymorphism Ecosystem types , polymorphism , protobufs	1	1002	June 23, 2020
How to cause functor types to "inherit" their elements' polymorphic variant subtyping relations Learning polymorphism	4	1782	May 24, 2019
Keeping polymorphism of universally quantified fields Learning polymorphism	4	1655	March 28, 2019
Arbitrary polymorphic variants as parameters Learning polymorphism	4	1520	March 25, 2019
How to "merge" unknown tuples? Learning tuple , polymorphism	6	4166	August 16, 2018

polymorphism