Вопросы с тегом «higher-rank-types»

Какова цель Rank2Types?

Я не очень разбираюсь в Haskell, поэтому это может быть очень простой вопрос. Какие языковые ограничения снимает Rank2Types ? Разве функции в Haskell не поддерживают полиморфные...

Как вернуть связанный тип из признака, связанного с признаком более высокого ранга?

У меня есть черта, которая имеет функцию для десериализации ассоциированного типа. Однако этот связанный тип должен иметь время жизни, которое решает вызывающая сторона, поэтому у меня есть отдельная черта, для которой я использую черту с более высоким рейтингом, чтобы ее можно было десериализовать...