Запитання з тегом «higher-kinded-types»

Ви можете знайти таке в Інтернеті: Конструктор вищого типу == type? class AClass[T]{...} // For example, class List[T] Деякі кажуть, що це тип вищого роду, оскільки він абстрагує типи, які відповідали б визначенню. Вищі типи роду - це типи, які приймають інші типи та будують новий тип Вони хоча і …

275 generics  scala  types  constructor  higher-kinded-types 

Я деякий час займався розробкою у F #, і мені це подобається. Однак одне модне слово, яке я знаю, не існує у F # - це вищі типи. Я читав матеріали про вищі типи, і, думаю, розумію їх визначення. Я просто не впевнений, чому вони корисні. Хтось може навести кілька …

88 scala  haskell  types  f#  higher-kinded-types 

Реалізація std::mem::dropдокументально підтверджена таким чином: pub fn drop<T>(_x: T) { } Як таке, я б очікував, що закриття |_| ()(у розмові відоме як закриття туалету ) буде потенційною заміною 1: 1 dropв обох напрямках. Однак, наведений нижче код показує, що dropвін не сумісний із ознакою вищого рейтингу, прив'язаною до параметра …

13 rust  closures  traits  type-inference  higher-kinded-types