Questions marquées «polymorphism»

Le système F avec paires a-t-il de fortes propriétés de normalisation et de réduction du sujet?

Il est facile de regarder dans beaucoup de manuels les preuves de réduction de sujet et de forte normalisation pour le système F, aussi, il existe parfois des définitions du système F avec des paires, où (t, r) est un terme, pas seulement un encodage. La question est, quelle serait la référence...

Polymorphisme de rang supérieur sur les types sans boîte

J'ai une langue dans laquelle les types sont déballés par défaut, avec l'inférence de type basée sur Hindley – Milner. Je voudrais ajouter un polymorphisme de rang supérieur, principalement pour travailler avec des types existentiels. Je pense que je comprends comment vérifier ces types, mais je ne...