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

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

110 haskell  types  polymorphism  higher-rank-types 

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

11 rust  traits  higher-rank-types