value restriction (English, noun)
expansion: value restriction (uncountable)
Senses:
topics: computer
computing
engineering
mathematics
natural-sciences
physical-sciences
science
sciences
qualifier: type theory
glosses: 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.
tags: uncountable
Forms: