«higher-rank-types» etiketlenmiş sorular

Haskell konusunda gerçekten yetkin değilim, bu yüzden bu çok kolay bir soru olabilir. Rank2Types hangi dil sınırlamasını çözer? Haskell'deki işlevler polimorfik argümanları zaten desteklemiyor mu?

110 haskell  types  polymorphism  higher-rank-types 

İlişkili bir türün serileştirilmesi için bir işlevi olan bir özelliği var. Bununla birlikte, ilişkili tür, arayanın karar vereceği bir ömre sahip olmalıdır, bu nedenle, herhangi bir ömür boyu serileştirilebilmesi için bağlı bir üst düzey özellik kullandığım ayrı bir özelliğe sahibim. Bu ilişkili türü döndüren bir kapatma kullanmanız gerekir. Bunu yapmak …

11 rust  traits  higher-rank-types