Телеграмм чат группы RSA4096 страница 3642

Size: a a a

// CIPHERNET

2020 May 26

struct Foo<T> {
    field: T,
};

в расте сейчас делают так. а можно будет так:

struct Foo<T> {
    field: T<i32>
}

HKT - когда передаешь дженерик-параметру другие типы

источник

14:56пожаловаться #1

Gymmasssorla in // CIPHERNET

HKT - Higher-kinded types. почему kinded? потому что у T такой kind: * -> * (значит можно на место первой звёздочки вставить тип и получить другой тип)

источник

14:57пожаловаться #2

Gymmasssorla in // CIPHERNET

сейчас в расте можно параметризировать только с кайндом *

источник

14:58пожаловаться #3

Gymmasssorla in // CIPHERNET

т.е. сразу конкретным типом

источник

14:58пожаловаться #4

Artöm Bakri Al-Sarmi... in // CIPHERNET

Gymmasssorla

struct Foo<T> {
    field: T,
};

в расте сейчас делают так. а можно будет так:

struct Foo<T> {
    field: T<i32>
}

HKT - когда передаешь дженерик-параметру другие типы

Чем это отличается от

template <template <typename> typename C, typename T>
struct S {
    C<T> container;
};

источник

15:19пожаловаться #5

Gymmasssorla in // CIPHERNET

Не знаком с крестами

источник

15:19пожаловаться #6

Artöm Bakri Al-Sarmi... in // CIPHERNET

Это template template parameter. На место C можно передать std::vector, именно без <> (на минуту забудем об аллокаторах)
S<std::vector, int> s_with_intvec;

источник

15:21пожаловаться #7

Gymmasssorla in // CIPHERNET

Ну смысл тот же. но я в плюсах не шарю, может есть различия

источник

15:22пожаловаться #8

Artöm Bakri Al-Sarmi... in // CIPHERNET

В метапроге используется, чтобы передавать трейты-коллбеки

источник

15:22пожаловаться #9

Artöm Bakri Al-Sarmi... in // CIPHERNET

C++ > rust, я понял )))