«polymorphism» etiketlenmiş sorular

Birçok ders kitabında Sistem F için konu azaltma ve güçlü normalizasyonun kanıtlarına bakmak kolaydır, ayrıca bazen (F, r) sadece kodlama değil, terim olan Sistem F'nin çiftlerle tanımları vardır. Soru, bu sistem için referans ne olurdu?

11 reference-request  lo.logic  type-theory  lambda-calculus  polymorphism 

Hindley – Milner tabanlı tür çıkarım ile, varsayılan olarak türlerin kutusundan çıkarıldığı bir dilim var. Esas olarak varoluşçu tiplerle çalışmak için daha üst düzey bir polimorfizm eklemek istiyorum. Sanırım bu türleri nasıl kontrol edeceğimi anlıyorum ama derlerken ne yapacağımdan emin değilim. Şu anda, kutulanmamış değerlerle çalışabilmeleri için C ++ şablonları …

10 type-theory  type-inference  polymorphism 

Soru şudur. Genellikle kişininΛX.tΛX.t\Lambda X.t, bu terimi bir türe örnek olarak uygulayarak forall'i ortadan kaldırabiliriz(ΛX.t)[T]→t[X:=T](ΛX.t)[T]→t[X:=T](\Lambda X.t)[T]\to t[X:=T]. Şimdi, bunun bir ok olduğunu ve ona bir argüman vermek istediğimizi varsayalım, o zaman bu terimi, böyle bir argümanı alabilecek şekilde uygun türe uygulamak zorundayız. Otomatikleştirebilir miyim diye soruyorum: Bir işlev oluşturmak mümkün …

9 type-theory  polymorphism  type-inference