WikiDer > Ограничение стоимости

Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) Эта статья включает Список ссылок, связанное чтение или внешняя ссылка, но его источники остаются неясными, потому что в нем отсутствует встроенные цитаты. Пожалуйста, помогите улучшать эта статья введение более точные цитаты. (Июль 2018 г.) (Узнайте, как и когда удалить этот шаблон сообщения) Эта статья предоставляет недостаточный контекст для тех, кто не знаком с предметом. Пожалуйста помоги улучшить статью к обеспечение большего контекста для читателя. (Июль 2018 г.) (Узнайте, как и когда удалить этот шаблон сообщения) (Узнайте, как и когда удалить этот шаблон сообщения)

В функциональное программирование, в частности ML семейство языков программирования, ограничение стоимости Значит это декларации только полиморфно обобщенный если это синтаксические значения (также называемые нерасширяющий). Ограничение значений не позволяет ссылочным ячейкам содержать значения разных типов и сохраняет безопасность типа.

Смотрите также

• Вывод типа Хиндли-Милнера

Рекомендации

• Мадс Тофте (1988). Операционная семантика и вывод полиморфных типов. Кандидатская диссертация.
• М. Тофте (1990). «Вывод типа для полиморфных ссылок».
• О'Тул (1990). «Правила абстракции типов для справки: сравнение четырех, получивших известность».
• Ксавье Леруа и Пьер Вайс (1991). «Вывод и присвоение полиморфного типа». POPL '91.
• А. К. Райт (1992). «Набор ссылок путем вывода эффекта».
• Мой Хоанг, Джон С. Митчелл и Рамеш Вишванатан (1993). «Стандартный слабый полиморфизм ML-NJ и императивные конструкции».
• Эндрю Райт (1995). "Простой императивный полиморфизм". В LISP и символьные вычисления, п. 343–356.
• Жак Гарриг (2004). «Ослабление ценностного ограничения».

внешняя ссылка

• Ограничение стоимости — MLton
• Примечания к ограничению значения SML97 - Принципы языков программирования, Джеффри Смит, Международный университет Флориды

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

Этот теория языков программирования или же теория типов-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. v т е