value restriction
Hello, you have come here looking for the meaning of the word value restriction. In DICTIOUS you will not only get to know all the dictionary meanings for the word value restriction, but we will also tell you about its etymology, its characteristics and you will know how to say value restriction in singular and plural. Everything you need to know about the word value restriction you have here. The definition of the word value restriction will help you to be more precise and correct when speaking or writing your texts. Knowing the definition ofvalue restriction, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
Noun
value restriction (uncountable)
- (computer science, type theory) 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.
- 2004, Jacques Garrigue, Relaxing the Value Restriction:
- 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.