Tag: higher-rank-types
Höhere Rang-Typen sind Typen mit Typ-Variablen, die lokal zu quantifizieren. Typrückschluss für solche Typen ist nicht entscheidbar.
Was ist der Zweck der Rank2Types?
6 Antworten
Höhere Rang-Typen sind Typen mit Typ-Variablen, die lokal zu quantifizieren. Typrückschluss für solche Typen ist nicht entscheidbar.