Э
И да, идея не моя, просто запомнилось. Вроде бы из этого чата откуда-то.
foo? rust-analyzer и Vs CodeSize: a a a
2020 April 17
r
В настройках
"rust-analyzer.inlayHints.typeHints": true есть?p
РА с макросами справляется хуже чем идея
G
red75prime
В настройках
"rust-analyzer.inlayHints.typeHints": true есть?Да
OA
че-то я начинаю не любить Токио Кодеки. Не оставляет ощущение что если бы был async trait без боксинга, то они вообще нафиг не нужны. Удобнее не стейтмашину руками писать, а read.await?; read.await?;
Но раз без боксинга мы не можем сделать async trait, то нужно писать какую-нибудь стейтмашину руками. Но тогда вопрос - почему бы не писать футуру руками, а не какой-то кастомный тип? Тогда он хотя бы будет совместимым с async/await снаружи.
Но раз без боксинга мы не можем сделать async trait, то нужно писать какую-нибудь стейтмашину руками. Но тогда вопрос - почему бы не писать футуру руками, а не какой-то кастомный тип? Тогда он хотя бы будет совместимым с async/await снаружи.
G
Ага, я вроде пока там смотрел, видел какие-то заготовки связанные с энамами, но могу ошибаться.
См. derive LabelledGeneric, как минимум в коде макроса у них есть ветка для энама:
https://github.com/lloydmeta/frunk/blob/941ba138f406f88a53f67f6eab3f8985240d6fef/derives/src/derive_labelled_generic.rs#L79
См. derive LabelledGeneric, как минимум в коде макроса у них есть ветка для энама:
https://github.com/lloydmeta/frunk/blob/941ba138f406f88a53f67f6eab3f8985240d6fef/derives/src/derive_labelled_generic.rs#L79
А если мне просто
Generic нужен, не LabelledGeneric?DS
А если мне просто
Generic нужен, не LabelledGeneric?Возможно имеет смысл по аналогии взять реализацию из этого макроса и перенести в свой макрос для Generic.
Или ещё один вариант: написать свой конвертер из Repr'ов LabelledGeneric в просто Generic
Или ещё один вариант: написать свой конвертер из Repr'ов LabelledGeneric в просто Generic
DS
Т.к. HCons<Field<..., A>,...> элементарно переводится в HCons<A, ...>
А
Ну или напиши
let foo: () = ..., а потом с ошибки скопируй.Господи, это действительно гениально
SM
Ну или напиши
let foo: () = ..., а потом с ошибки скопируй.Hole driven development теперь и на расте?
IA
Hole driven development теперь и на расте?
что это такое
Э
Hole driven development теперь и на расте?
Да нет, это просто трюк, чтобы узнать тип. Пока что RA не может в макросы нормально, а вот rustc может.
G
что это такое
A
чорд, я думал я один таким занимаюсь - пишу какой-нибудь тип, а потом смотрю ошибку
G
Это целая методология)
A
error message driven development
p
Hole driven development теперь и на расте?
Hole driven это unimplemented!().
G
Hole driven это unimplemented!().
Который не работает
SM
Hole driven это unimplemented!().
Ну нет, unimplemented приводит к рантайм-ошибкам
Э
Ну нет, unimplemented приводит к рантайм-ошибкам
compile_error!()?