Мәнді шектеу - Value restriction

Бұл мақалада бірнеше мәселе бар. Өтінемін көмектесіңіз оны жақсарту немесе осы мәселелерді талқылау талқылау беті. (Бұл шаблон хабарламаларын қалай және қашан жою керектігін біліп алыңыз) Бұл мақалада а қолданылған әдебиеттер тізімі, байланысты оқу немесе сыртқы сілтемелер, бірақ оның көздері түсініксіз болып қалады, өйткені ол жетіспейді кірістірілген дәйексөздер. Көмектесіңізші жақсарту осы мақала таныстыру дәлірек дәйексөздер. (Шілде 2018) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз) Бұл мақала тақырыпты білмейтіндерге контекстің жеткіліксіздігін қамтамасыз етеді. Өтінемін көмектесіңіз мақаланы жақсарту арқылы оқырманға көбірек контекст беру. (Шілде 2018) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз)

Жылы функционалды бағдарламалау, атап айтқанда ML бағдарламалау тілінің отбасы мәнді шектеу дегенді білдіреді декларациялар тек полиморфты жалпыланған егер олар синтаксистік мәндер болса (сонымен қатар аталады) кең емес). Мәнді шектеу сілтеме ұяшықтарының әр түрлі типтегі және консервіленген мәндерге ие болуына жол бермейді қауіпсіздік түрі.

Сондай-ақ қараңыз

• Хинди-Милнер түріндегі қорытынды

Әдебиеттер тізімі

• Mads Tofte (1988). Операциялық семантика және полиморфтық тип туралы қорытынды. PhD диссертация.
• M. Tofte (1990). «Полиморфты сілтемелер үшін типтік қорытынды».
• О'Тул (1990). «Анықтамалық типтегі абстракциялау ережелері: тентектікке жеткен төртеуді салыстыру».
• Ксавье Леруа және Пьер Вейс (1991). «Полиморфты типтегі қорытынды және тағайындау». POPL '91.
• A. K. Wright (1992). «Сілтемелерді нәтижелік қорытынды бойынша теру».
• Менің Хоанг, Джон С. Митчелл және Рамеш Вишванатан (1993). «Стандартты ML-NJ әлсіз полиморфизм және императивті құрылымдар».
• Эндрю Райт (1995). «Қарапайым императивті полиморфизм «. Жылы LISP және символдық есептеу, б. 343–356.
• Жак Гарриг (2004). «Құнды шектеуді босаңсыту».

Сыртқы сілтемелер

• Құндылықты шектеу — МЛтон
• SML97 мәнін шектеу туралы ескертпелер - тілдерді бағдарламалау принциптері, Джеффри Смит, Флорида халықаралық университеті

${ displaystyle Gamma vdash x: { text {Int}}}$

Бұл бағдарламалау тілінің теориясы немесе тип теориясы - қатысты мақала а бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту.