Programowanie higher-kinded-types

5

W Internecie można znaleźć: Wyższy rodzaj == typ konstruktora? class AClass[T]{...} // For example, class List[T] Niektórzy twierdzą, że jest to typ bardziej uporządkowany, ponieważ streszcza typy, które byłyby zgodne z definicją. Wyższe typy pokrewne to typy, które pobierają inne typy i konstruują nowy typ Są one jednak znane również …

275 generics scala types constructor higher-kinded-types

5

Kiedy są przydatne typy wyższego rodzaju?

Od jakiegoś czasu zajmuję się programowaniem w języku F # i podoba mi się to. Jednak jedno słowo, które wiem, że nie istnieje w F #, to typy wyższego rodzaju. Przeczytałem materiały o typach wyższego rzędu i myślę, że rozumiem ich definicję. Po prostu nie jestem pewien, dlaczego są przydatne. …

88 scala haskell types f# higher-kinded-types

2

Dlaczego `std :: mem :: drop` nie jest dokładnie taki sam jak zamknięcie | _ | () w wyższych zakresach cech?

Realizacja std::mem::dropjest udokumentowana następująco: pub fn drop<T>(_x: T) { } Jako taki, oczekiwałbym, że zamknięcie |_| ()(potocznie zwane zamknięciem toalety ) będzie potencjalnym zamiennikiem 1: 1 dropw obu kierunkach. Jednak poniższy kod pokazuje, że dropnie jest zgodny z cechą wyższego rzędu związaną z parametrem funkcji, podczas gdy zamknięcie toalety jest. …

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

Pytania otagowane jako higher-kinded-types