Değer kısıtlaması - Value restriction

Bu makalenin birden çok sorunu var. Lütfen yardım et onu geliştir veya bu konuları konuşma sayfası. (Bu şablon mesajların nasıl ve ne zaman kaldırılacağını öğrenin) Bu makale şunları içerir: referans listesi, ilgili okuma veya Dış bağlantılar, ancak kaynakları belirsizliğini koruyor çünkü eksik satır içi alıntılar. Lütfen yardım edin geliştirmek bu makale tanıtım daha kesin alıntılar. (Temmuz 2018) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin) Bu makale konuya aşina olmayanlar için yetersiz bağlam sağlar. Lütfen yardım et makaleyi geliştirmek tarafından okuyucu için daha fazla bağlam sağlamak. (Temmuz 2018) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin)

İçinde fonksiyonel programlama özellikle ML programlama dili ailesi, değer kısıtlaması anlamına gelir beyannameler sadece çok biçimli olarak genelleştirilmiş sözdizimsel değerler iseler (aynı zamanda genişlemeyen). Değer kısıtlaması, referans hücrelerin farklı türlerdeki değerleri tutmasını önler ve korur tip güvenliği.

Ayrıca bakınız

• Hindley – Milner tipi çıkarım

Referanslar

• Mads Tofte (1988). İşlemsel Anlambilim ve Polimorfik Tür Çıkarımı. Doktora tezi.
• M. Tofte (1990). "Polimorfik başvurular için tür çıkarımı".
• O'Toole (1990). "Referans için Tip Soyutlama Kuralları: İtibara Sahip Dördünün Karşılaştırması".
• Xavier Leroy ve Pierre Weis (1991). "Polimorfik tip çıkarımı ve ataması". POPL '91.
• A. K. Wright (1992). "Sonuç çıkarımına göre referans yazma".
• Benim Hoang'ım, John C. Mitchell ve Ramesh Viswanathan (1993). "Standart ML-NJ zayıf polimorfizm ve zorunlu yapılar".
• Andrew Wright (1995). "Basit zorunlu polimorfizm ". İçinde LISP ve Sembolik Hesaplama, s. 343–356.
• Jacques Garrigue (2004). "Değer Kısıtlamasını Rahatlatmak".

Dış bağlantılar

• Değer Kısıtlaması — MLton
• SML97'nin Değer Kısıtlamasına İlişkin Notlar - Programlama Dillerinin İlkeleri, Geoffrey Smith, Florida International University

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

Bu programlama dili teorisi veya tip teorisi ile ilgili makale bir Taslak. Wikipedia'ya şu yolla yardım edebilirsiniz: genişletmek.