Programmierung higher-kinded-types

5

Im Internet finden Sie Folgendes: Höher sortierter Typ == Typ Konstruktor? class AClass[T]{...} // For example, class List[T] Einige sagen, dies sei ein höherwertiger Typ, da er über Typen abstrahiert, die der Definition entsprechen würden. Höher sortierte Typen sind Typen, die andere Typen annehmen und einen neuen Typ erstellen Diese …

275 generics scala types constructor higher-kinded-types

5

Wann sind höherwertige Typen nützlich?

Ich mache seit einer Weile Entwickler in F # und es gefällt mir. Ein Schlagwort, von dem ich weiß, dass es in F # nicht existiert, sind höherwertige Typen. Ich habe Material über höherwertige Typen gelesen und glaube, ich verstehe deren Definition. Ich bin mir nur nicht sicher, warum sie …

87 scala haskell types f# higher-kinded-types

2

Warum ist `std :: mem :: drop` nicht genau dasselbe wie der Abschluss | _ | () in höherrangigen Merkmalsgrenzen?

Die Implementierung von std::mem::dropist wie folgt dokumentiert: pub fn drop<T>(_x: T) { } Als solches würde ich erwarten, dass der Verschluss |_| ()(umgangssprachlich als Toilettenverschluss bezeichnet ) ein potenzieller 1: 1-Ersatz für dropbeide Richtungen ist. Der folgende Code zeigt jedoch, dass er dropnicht mit einem höherrangigen Merkmal kompatibel ist , …

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

Als «higher-kinded-types» getaggte Fragen