G
> rustc
> Я, пытавшийся писать async код
> Я, пытавшийся писать async код
Size: a a a
2020 April 06
G
Это когда не можешь выразить монады в Rust
p
хм, а с GAT получится выразить?
G
Я в этих ваших гатах не особо разбираюсь, но в теории для этого типы высших порядков нужны (HKT - Higher-Kinded Types)
G
И по-идее всё
G
Просто конструкторы типов указывать надо
p
ну гат это когда можно писать
trait Foo {
type Bar<T, U>;
fn baz() -> Self::Bar;
}
trait Foo {
type Bar<T, U>;
fn baz() -> Self::Bar;
}
G
ну гат это когда можно писать
trait Foo {
type Bar<T, U>;
fn baz() -> Self::Bar;
}
trait Foo {
type Bar<T, U>;
fn baz() -> Self::Bar;
}
А, это по-моему другая хуйня, но могу ошибаться
G
Может и через неё можно
p
ну там кто-то говорил что гат это хкт для бедных
L
Это когда не можешь выразить монады в Rust
p
пойти шоле хаскель выучить
p
ну нахуй, пойду лучше лайфтаймы дрочить
E🤙
пойти шоле хаскель выучить
и потом будешь несчастным?
G
и потом будешь несчастным?
+
G
Давай с нами быть несчастным
E🤙
я всячески подавляю в себе грязные желания учить хачкели
G
Ублюдский сука слоу мод