Value restriction
In functional programming, in particular the ML programming language family, the value restriction means that declarations are only polymorphically generalized if they are syntactic values (also called non-expansive). The value restriction prevents reference cells from holding values of different types and preserves type safety.
primaryTopic
Value restriction
In functional programming, in particular the ML programming language family, the value restriction means that declarations are only polymorphically generalized if they are syntactic values (also called non-expansive). The value restriction prevents reference cells from holding values of different types and preserves type safety.
has abstract
In functional programming, in ...... pes and preserves type safety.
@en
Link from a Wikipage to an external page
Wikipage page ID
34,060,563
Wikipage revision ID
723,980,003
hypernym
comment
In functional programming, in ...... pes and preserves type safety.
@en
label
Value restriction
@en