G
Типа нахуй мне рестриктать протоколы если я не могу описать логику вида протокл A+B<bool > или A+B<int, T> + C если тип T соотвествует Kek
Ну так можешь же
Size: a a a
2020 April 27
M
Ну так не могу же
VG
A|B<bool >
?
?
G
Почитай доку к session-types
M
Choose and Offer
M
Это приняли?
M
Если нет я против пойду поору в ишью
M
Воняет C++ метапрограммированием
G
Это приняли?
Там именование убогое абсолютно
VG
я понял зачем хаскелистам все более мощные типы - чтобы не лажать в коде полном именований srv, cli, c, n
G
Если ты про это
G
я понял зачем хаскелистам все более мощные типы - чтобы не лажать в коде полном именований srv, cli, c, n
Дык именуй нормально и все
G
В расте болезнь с этим
M
Вот мне не понятно нахуя все эти страдания ввели бы уже нормальное метапрограммирование и все
VG
в расте вроде норм именуют кроме лайфтаймов
VG
ввели, в лиспе
G
Пишут Err вместо нормально Error, вам что 2 буквы сложно дописать. В итоге получаются уроды иногда Error, иногда Err
M
В процедурном стиле и описывали бы требования нахуя ещё один аналог меташаблонов