G
Нет gat, импл трейты не работают там, где они по настоящему нужны
А это бы решило проблему очень больших типов в терминале?
Size: a a a
2020 February 21
DS
А это бы решило проблему очень больших типов в терминале?
Это бы решило проблему эффективного возвращения трейта из трейта, я выше уже писал.
G
Это бы решило проблему эффективного возвращения трейта из трейта, я выше уже писал.
То есть проблему гигантских типов в терминале это бы не решило?
DS
То есть проблему гигантских типов в терминале это бы не решило?
А это проблема?
G
async/.await для этого как бы и создавался включительно
RP
Привет!
Есть желающие в эту пятницу собраться часиков в 7 вечера, поговорить о расте в неформальной обстановке без докладов?
Москва, 19:00, Изи Паб, Новослободская ул., 26, стр. 1, м. Менделеевская, 2 минуты пешком. На карте: https://yandex.ru/maps/-/CKUdBAMq
Есть желающие в эту пятницу собраться часиков в 7 вечера, поговорить о расте в неформальной обстановке без докладов?
Москва, 19:00, Изи Паб, Новослободская ул., 26, стр. 1, м. Менделеевская, 2 минуты пешком. На карте: https://yandex.ru/maps/-/CKUdBAMq
G
А это проблема?
Ну вообще неприятно, хотя с опытом приходит навык борьбы с этой лапшой
DS
Ну вообще неприятно, хотя с опытом приходит навык борьбы с этой лапшой
Ну она осталась же, только не в футурах, а в тех же итераторах
G
Ну она осталась же, только не в футурах, а в тех же итераторах
Зато в футурах её теперь нет
DS
Зато в футурах её теперь нет
Ну огонь. Это очень много затрат на один очень частный случай
DS
Какой-то очень не красивый подход, когда мы тупо скотчем одну дырку залепили, причем гигантскими усилиями, а ещё бесконечное множество таких дыр осталось
DS
То есть для всех остальных типов, которые получаются кучей оберток с сохранением внутреннего типа эта проблема остаётся не решённой
G
То есть для всех остальных типов, которые получаются кучей оберток с сохранением внутреннего типа эта проблема остаётся не решённой
То есть ты хочешь impl Iterator грубо говоря возвращать из fold?
DS
То есть ты хочешь impl Iterator грубо говоря возвращать из fold?
Не обязательно, в идеале я хочу уметь его из любого метода трейта возвращать без бокса, где это физически возможно
DS
Без associated типов и т.п.
G
Не обязательно, в идеале я хочу уметь его из любого метода трейта возвращать без бокса, где это физически возможно
А, ну это решит проблему гигантских типов. Это я и хотел узнать
G
Потому что типы стираются на каждом шаге
DS
А, ну это решит проблему гигантских типов. Это я и хотел узнать
Если все библиотечные трейты изменить, то да
AZ
у меня сейчас такое осознание того что раст тут половине людей будет резко не нужен если они упорятся хаскелями и он окажется топчиком
йеп
AZ
Не видел хаскеля в проде
мы вроде выяснили что ты не особо в проде шаришь в целом, тк что это не показательно