Αλεχ
жалко эмодзи не добавляют
Roma
Αλεχ
и вметсоп лейсхолдера _ сделать какашку заменителем
Αλεχ
Roma
чтобы иностраннцы поняли? :)
Cat
Cat
просто пустой символ
Маjко
Αλεχ
Roma
Αλεχ
а еще надо приколы с нормализацией юникода, когда один символ представляется 2-3 способами
Roma
individualnyi nomer nalogoplatelschika
Маjко
Cat
Αλεχ
https://habr.com/post/262679/
Αλεχ
удачи со всей этой хуйней столкнуться
Cat
let = meh
Cat
Cat
вообще, я имел в виду, что ни inn надо перевести, а ИНН
Αλεχ
ты ABBYY тоже переводишь?
Alexander
NermaN 𓅂
это же надо каждый раз раскладку переключать
NermaN 𓅂
да и зачем вообще?
Cat
Roma
да и зачем вообще?
чтобы писать просто "Ш", а не "Tate–Shafarevich group of an Abelian variety A over a field K", очевидно
Dårk
нет, лучше уж я пыль со словаря стряхну, чем они в гугл транслэйт пойдут
Маjко
Αλεχ
а кто может объяснить синтаксис impl< A: for<'a>> foo<'a>?
Nikita
Может impl<T> A for Foo<T>?
Αλεχ
нет, это то что higher-ranked trait bound зовется
Roma
Αλεχ
уже который раз ловлюсь на том, что не читал номикон... надо как-то залезть в него уже
Roma
а чо уже можно туда T, а не 'a совать?
Αλεχ
хз, мб я криво написал
Cat
это точно hrtb?
Αλεχ
да
պլհկ
Vladimir
А вообще я не против такого, но стоит понимать, что коммьюнити так становится более фрагментированным, и желательно это спрятать под какой-то аттрибут
Oleg
պլհկ
если кто-то хочет фрагментироваться, он и сейчас может транслитом писать
Vladimir
Roma
Vladimir
Странно, что это не в основной книге
большинство этого вообще не видят, этот синтакси сделали в первую очередь для кложур, а там специальная магия которая развернет
fn x<F:Fn(&u32)->&u32>(f:F) в
fn x<F>(f:F) where for <'r> F: Fn<(&'r u32), F::Output = &'r u32>
Loyd
Котаны
Loyd
А есть ли аналог frama-c для раста?
Loyd
Чтобы херачить ascl, а он нагенеривал уже для прувера (кок, cvc, avro etc) код?
Loyd
Кажется, что благодаря MIR не так сложно сделать
Маjко
Маjко
По крайней мере в доке так :)
Маjко
Что нихуя не правильно
Маjко
Но тем не менее
Loyd
Loyd
То есть и здесь может чувак не столкнуться
Loyd
Ну, там описано, когда имеет смысл, а когда нет
Маjко
Принимаешь из сети массив байт, десериализуешь без копирований через Deserialize
Loyd
Маjко
Ну дак тебе не всегда будет хватать встроенных функций
Обертки то тоже хочеца писать
Маjко
С генериками
Loyd
А это тут причем?
Loyd
Если тебе таскать нужно по тредам значение и вообще оно долго живёт, то проще получить значение на хипе, чем трахаться с буфером. И это как раз большинство кейсов.
Berkus
Berkus
мне тож надо
Loyd
Хотя бы станет понятно, сколько времени надо
Dårk
Vladimir