EG
С тем же успехом ты можешь написать
fn foo<A: Trait>() -> <A as Trait>::Type { ... }Size: a a a
2021 May 03
AN
Ну да получается там эти пи и сигма типы. Вот этот вот матан. Блин я открыал книгу про гомотопи тайп теории. там как раз первая часть это про вот эту теорию. Я кажется начал даже что то понимать. Но потом остался ветер в голове только. Надо было поделать какие то задачки для закрепления.
AN
Но чем зависимая функция отличается от зависимой пары. Хмм
AN
Можно ли сказать что зависимая пара это сигнатуры для зависимых функций? 😕
p
завтипы
p
да
p
это первый подвид завтипов
p
типы зависят от типов
p
блять я книгу читал
p
ты мне не веришь?
EG
Правда, что ли?
p
хиро спроси
p
он со мной одну и ту же книгу читал
EG
AN
Ну иммет смысл. То что Дмитро говорит.
AN
Трейты это множество структур.
AN
Точно так же как Int это множество значений.
EG
У тебя такие «завтипы» есть примерно везде, кроме совсем уж жести кроме чистого C
EG
И то сомнительно из-за существования
_Generic