Omezení hodnoty - Value restriction
| Tento článek má několik problémů. Prosím pomozte vylepši to nebo diskutovat o těchto problémech na internetu diskusní stránka. (Zjistěte, jak a kdy tyto zprávy ze šablony odebrat) | tento článek poskytuje nedostatečný kontext pro ty, kteří danému tématu nejsou obeznámeni. Prosím pomozte vylepšit článek podle poskytuje čtenáři více kontextu. (Července 2018) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
(Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
v Funkcionální programování, zejména ML rodina programovacích jazyků, omezení hodnoty znamená, že prohlášení jsou jen polymorfně zobecněný pokud se jedná o syntaktické hodnoty (nazývané také neexpanzivní). Omezení hodnoty brání referenčním buňkám uchovávat hodnoty různých typů a zachovává bezpečnost typu.
Viz také
Reference
- Mads Tofte (1988). Provozní sémantika a odvození polymorfního typu. Disertační práce.
- M. Tofte (1990). Msgstr "Odvození typu pro polymorfní odkazy".
- O'Toole (1990). „Pravidla abstrakce typu pro srovnání: Srovnání čtyř, které dosáhly proslulosti“.
- Xavier Leroy a Pierre Weis (1991). Msgstr "Odvození polymorfního typu a přiřazení". POPL '91.
- A. K. Wright (1992). Msgstr "Psaní odkazů podle odvození účinku".
- My Hoang, John C. Mitchell a Ramesh Viswanathan (1993). "Standardní ML-NJ slabý polymorfismus a imperativní konstrukce".
- Andrew Wright (1995). "Jednoduchý imperativní polymorfismus ". V LISP a symbolický výpočet, str. 343–356.
- Jacques Garrigue (2004). „Uvolnění omezení hodnoty“.
externí odkazy
