Programmazione higher-kinded-types

5

Che cos'è un tipo di tipo superiore in Scala?

Puoi trovare quanto segue sul Web: Tipo di tipo superiore == tipo costruttore? class AClass[T]{...} // For example, class List[T] Alcuni sostengono che si tratta di un tipo di tipo più elevato, poiché si estrae dai tipi che sarebbero conformi alla definizione. I tipi di tipo superiore sono tipi che …

275 generics scala types constructor higher-kinded-types

5

Quando sono utili i tipi di grado superiore?

Faccio sviluppo in F # da un po 'e mi piace. Tuttavia, una parola d'ordine che so non esiste in F # è tipi di tipo superiore. Ho letto materiale su tipi di livello superiore e penso di aver capito la loro definizione. Solo non sono sicuro del motivo per …

89 scala haskell types f# higher-kinded-types

2

Perché `std :: mem :: drop` non è esattamente uguale alla chiusura | _ | () nei limiti dei tratti di livello superiore?

L'implementazione di std::mem::dropè documentata come la seguente: pub fn drop<T>(_x: T) { } In quanto tale, mi aspetterei che la chiusura |_| ()(colloquialmente nota come chiusura del gabinetto ) sia un potenziale sostituto 1: 1 dropin entrambe le direzioni. Tuttavia, il codice seguente mostra che dropnon è compatibile con un …

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

Domande taggate «higher-kinded-types»