Pertanyaan yang diberi tag polymorphism

Apakah Sistem F dengan pasangan memiliki sifat normalisasi dan reduksi subjek yang kuat?

Sangat mudah untuk melihat di banyak buku teks bukti pengurangan subjek dan normalisasi yang kuat untuk Sistem F, juga, kadang-kadang ada definisi Sistem F dengan pasangan, di mana (t, r) adalah istilah, bukan hanya pengkodean. Pertanyaannya adalah, apa yang akan menjadi referensi untuk sistem...

Polimorfisme tingkat tinggi di atas tipe yang tidak dikotak

Saya memiliki bahasa di mana tipe tidak dikotakkan secara default, dengan inferensi tipe berdasarkan Hindley-Milner. Saya ingin menambahkan polimorfisme tingkat tinggi, terutama untuk bekerja dengan tipe eksistensial. Saya rasa saya mengerti bagaimana memeriksa jenis ini, tapi saya tidak yakin apa...