Topic	Replies	Views	Activity
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	495	August 29, 2023
How come argument type cannot be infered in nested function? Learning type-system , type-inference	5	468	January 27, 2023
Theory about mutual recursion Learning type-inference , theory , mutual-recursion	4	570	November 19, 2022
System output of function's type inference looks like missing () Learning type-system , type-inference	1	363	October 9, 2022
Inferred types and polymorphic variants Learning type-inference , polymorphic-variants	8	775	September 7, 2021
Does type inference matter? Learning type-inference	18	4207	June 6, 2018

type-inference