Meaning of value restriction | Babel Free

Definitions

In a functional language, inference of a polymorphic type only for syntactic values (values that can be evaluated at compile time) to ensure that a program is type-safe.

uncountable

Examples

“A typical example is an expression returning always the empty list. It should be given the polymorphic type α list, but this is not possible under the value restriction if the expression has to be evaluated.”

“It has been found empirically that eta expansion usually suffices for dealing with the value restriction.”

CEFR level