wiki:TypeApplication

Version 1 (modified by Hamidhasan, 7 months ago) (diff)

--

This page talks about Type Application within function expressions, in which the function is polymorphic and the type application instantiates one or more of the types when typechecking the function.