ΑZ
но там нижник его унизил
Size: a a a
2021 May 26
ΑZ
но тот пустился в свой обычный срач что скриптодети не поняли гениальности
ΑZ
и что в ваших гнилых книжках хуйня написана
AB
Плюсовые контракты не влекут за собой пруфы
AN
вот всегда с царем так. иногда кажется специально срет чтобы потом все удалялось.
B
2:2 == 3:3 -> 2 == 3
AB
Можно только как лох ловить исключения
TK
Вот дошли вы, допустим, до определённой точки исполнения. И на текущем уровне вложенности у вас всегда будет информация о том, какие предикаты висят на экземпляре типа, что гарантируется компилятором. Как лайфтаймы, только мощнее.
AB
Так что похоже они с виду, а не по сути
B
а, пиздец
ΑZ
ну я в расте такое же пишу на самом деле
ΑZ
только беднее и только с типовыми пруфами
TK
...и это невозможно
ΑZ
почеу нет?
B
ой, я не туда реплайнул
B
сюда хотел
TK
Not же отсутствует, и везде bottom
AN
кароче там у Царя был прикол с уникальными типами через лямбду.
ΑZ
ну и что?
ΑZ
делаешь мамайклянус и норм