Topic	Replies	Views	Activity
Avoiding extra matching with extensible GADTs Learning gadt , type-inference	19	606	September 21, 2024
Figuring out how to return an open polymorphic variant from application to a module Learning types , first-class_modules , type-inference , polymorphic-variants , module-type	2	150	September 18, 2024
The alias problem : Lightweight HK polymorphism Learning type-system , type-inference , higher-kinds	5	594	September 17, 2024
What sort of mathematical foundations are required to contribute to the research on modular implicits, typed effects, and the like? Learning type-inference , mathematics , type-theory	2	720	August 29, 2023
How come argument type cannot be infered in nested function? Learning type-system , type-inference	5	640	January 27, 2023
Theory about mutual recursion Learning type-inference , theory , mutual-recursion	4	734	November 19, 2022
System output of function's type inference looks like missing () Learning type-system , type-inference	1	476	October 9, 2022
Inferred types and polymorphic variants Learning type-inference , polymorphic-variants	8	1002	September 7, 2021
Does type inference matter? Learning type-inference	18	4744	June 6, 2018

type-inference