Tag: higher-rank-types
Rang supérieur, les types sont des types contenant des variables de type qui sont localement quantifiés. L’inférence de Type pour ces types n’est pas decidable.
Rang supérieur, les types sont des types contenant des variables de type qui sont localement quantifiés. L’inférence de Type pour ces types n’est pas decidable.