DS
Без всяких безумных девиртуализаций в компиляторе
Size: a a a
2021 April 22
DS
Проблемы бы не было, если бы можно было сразу дать названия таким типам, но разработчики языка об этом не подумали
SB
т.е. на выходе получится самый обычный тип, который в свой улословный конструктор получит самым триваиальным образом копии значения/ссылок всего, что ты замкнул?
DS
Да, просто какая-то структура обычная, просто которая не имеет доступного пользователю языка названия.
DS
Ну и статически диспатчеризованный метод, который содержит в себе логику самого замыкания
SB
угу, понятно. звучит круто, конечно, перформанс сумасшедший.
DS
И вся история именно ради статического диспатча этой красоты
VK
Да, я понял что там анонимные типы плюются, но грубо говоря если смешать лайфтайм из лямбд плюсов и какой-нибудь IEnumerable то можно просто генерировать не хз что а анонимных наследников от этого самого интерфейса, который можно вырезать в компайлтайме
A
отличная инициатива чтобы искать новую работу, да.
ХГ
Неужели так можно работать?.. Мне требуется 100% сосредоточение, чтобы ничего вообще не отвлекало, а тут надо будт с ноги на ногу переминаться...
SB
так офигенно работать, прям неожиданно хорошо!
DS
Да, и оно реально отлично компилируется в итоге, но можно было бы сделать это куда более удобно, если дали бы изначально хоть какую-то возможность эти типы назвать.
И можно было бы хотя бы без экзистенциалов жить. Уже проще было бы.
И можно было бы хотя бы без экзистенциалов жить. Уже проще было бы.
SB
спешить-то не надо! гордой плывущей походкой )))
ХГ
А если нудо думать, не получается что-то, если целый день фтыкааешь в две строки?.. не представляю, как можно стоя сосредоточиться.
SB
а комьюнити не взбунтовалось благородной яростью?!
SB
можно ж повлиять на развитие компилятора
SB
если тебе надо сесть, то ты опускаешь стол за 30 секунд
SB
и садишься
SB
в чем проблема
DS
Комьюнити ждёт фич. Проблема в том, что они в ночной версии компилятора и непонятно когда будут стабилизированы.
То есть анонимные типы подобные сейчас можно на ночном называть через impl трейты:
Ну и т.п. с местным HKT в трейтах, тоже есть в ночном, когда стабилизируется непонятно.
То есть анонимные типы подобные сейчас можно на ночном называть через impl трейты:
type MyClosure = impl Fn(i32) -> i32;
fn create_closure(value: i32) -> MyClosure {
move |x| x + value
}
Ну и т.п. с местным HKT в трейтах, тоже есть в ночном, когда стабилизируется непонятно.