Questions marquées «higher-rank-types»

Quel est le but de Rank2Types?

Je ne maîtrise pas vraiment Haskell, c'est peut-être une question très simple. Quelles sont les limitations linguistiques résolues par Rank2Types ? Les fonctions dans Haskell ne prennent-elles pas déjà en charge les arguments

Comment renvoyer un type associé à partir d'un trait lié à un trait de rang supérieur?

J'ai un trait qui a une fonction pour désérialiser un type associé. Cependant, ce type associé doit avoir une durée de vie que l'appelant décide, j'ai donc un trait distinct pour lequel j'utilise un trait de rang supérieur pour qu'il puisse être désérialisé pour toute durée de vie. J'ai besoin...