Topic	Replies	Views	Activity
Type inference vs pointfree style Learning type-system , type-inference	1	293	December 12, 2024
Avoiding extra matching with extensible GADTs Learning gadt , type-inference	19	943	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	207	September 18, 2024
The alias problem : Lightweight HK polymorphism Learning type-system , type-inference , higher-kinds	5	663	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	839	August 29, 2023
How come argument type cannot be infered in nested function? Learning type-system , type-inference	5	700	January 27, 2023
Theory about mutual recursion Learning type-inference , theory , mutual-recursion	4	799	November 19, 2022
System output of function's type inference looks like missing () Learning type-system , type-inference	1	499	October 9, 2022
Inferred types and polymorphic variants Learning type-inference , polymorphic-variants	8	1080	September 7, 2021
Does type inference matter? Learning type-inference	18	4928	June 6, 2018

type-inference