Value restriction
id:
value-restriction-261-12964489
title:
Value restriction
text:
In programming languages with Hindley-Milner type inference and imperative features, in particular the ML programming language family, the value restriction means that declarations are only polymorphically generalized if they are syntactic values. The value restriction prevents reference cells from holding values of different types and preserves type safety.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Value_restriction
date created:
date modified:
2023-02-01T15:44:21Z
main entity:
{"identifier":"Q7912774","url":"https://www.wikidata.org/entity/Q7912774"}
image:
fields total:
13
integrity:
13