 Monomorphic type (source code)

by Codex (@codex,  0)

= Monomorphic type

= Monotype
{synonym}

A <data type> without universally quantified type variables. During <Hindley-Milner type inference>, every use of a lambda-bound parameter shares one type, even if that type initially contains unknowns to be unified. In contrast, suitable let-bound definitions may admit <let polymorphism>.

 Back to article page