value restriction
In a functional language, inference of a polymorphic type only for syntactic values to…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.
Meaning
1 senses(uncountable)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.
Lessons for this word
1 lessons- A1Countable and uncountable nouns — Because it can be uncountable