T1
там дженерики это ЗАВТИПЫ
что такого то
Size: a a a
2020 August 13
p
что такого то
а то что в идрисе нет никаких типов
p
только термы
p
ебать
T1
че
SP
бежать учить идрис?
p
бежать учить идрис?
давно пора было хз
p
не не надо
p
после идриса тебе и хрускель тленом будет
SP
ну у меня довольно земные задачи для которых и раст ок
P
бежать учить идрис?
первый, или второй?
SP
первай вероятно
KR
ебать
Дальше осталось уметь максимально вычислять термы в компайл-тайме, без гц
KR
И мы получим шаблонную магию плюсов :trollface:
SP
И мы получим шаблонную магию плюсов :trollface:
p
Дальше осталось уметь максимально вычислять термы в компайл-тайме, без гц
а зачем
AZ
охуеть, выходит дженерики это частный случай завтипов, только они работают только для типов
нет, генеики это не частный случай завтипов
p
в смысле зачем без гц
p
нет, генеики это не частный случай завтипов
это как раз он
KR
в смысле зачем без гц
чтоб не писать на С