Wie kann man existenzielle Typen mit Polymorphismus höheren Ranges (Rang-N) ausdrücken?

Question

Nov 30, 2012, 10:35 PM

functional-programming higher-rank-types haskell existential-type

Wie kann man existenzielle Typen mit Polymorphismus höheren Ranges (Rang-N) ausdrücken?

Wir sind es gewohnt, universell quantifizierte Typen für polymorphe Funktionen zu haben. Existenziell quantifizierte Typen werden viel seltener verwendet. Wie können existenziell quantifizierte Typen mit universellen Typquantifizierern ausgedrückt werden?