Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Mar 27 2015 20:26
    User @sudodoki banned @doneck-russia from this room
  • Mar 19 2015 20:58
    User @mr-mig banned @pgr-ru from this room
  • Mar 15 2015 01:09
    User @mr-mig banned @putin-hero from this room
  • Mar 15 2015 01:09
    User @mr-mig banned @stepan-bendera from this room
Ingvar Stepanyan
@RReverser
weakmap це робить дуже ефективно, в Rust не схоже що є механізми для цього
(як власне і в C і загалом)
Andrii
@j2ko
на думку спадає лише те що після отримання дерева з зовнішнього джерела тобі треба його "перезібрати" і покласти в ноди розширену структуру яка б уже містила додаткову інфу.
якщо дерево формується рідко а опрацьовується часто то просідання по перформенсу не буде сильно замітним.
Ingvar Stepanyan
@RReverser
ну про це писав - в принципі можливо, але теж якось купа зайвих врапперів..
і дорожче, і працювати мабуть не дуже зручно буде
Andrii
@j2ko
тут ще треба знати що собою являють ноди і що за додаткова інфа для них провайдиться - можливо тоді вийде більш точніше підібрати рішення
Ingvar Stepanyan
@RReverser
в тому і проблема, що хочеться чогось загальнішого :)
взагалі це ноди в AST-дереві, мені треба при першому проході позбирати оголошення змінних і до яких блоків / функцій вони належать, щоб далі основний прохід компілятора міг діставати в залежності від блоку, в якому знаходиться, які змінні в ньому є
Andrew Barchuk
@raindev
Привіт 👋 А на RustFest ні у кого часом коду на знижку немає?
cc @listochkin :smirk:
Андрей Листочкин (Andrey Listochkin)
@listochkin
есть билеты со скидкой для студентов, но нужно иметь нормальный студенческий.

@raindev

но вообще мы цену выставили прям впритык. И еще ребята профакапили пару моментов, так что пока конфа выходит в минус

Andrew Barchuk
@raindev
Ціна справді зовсім невисока. Дякую за інформацію, в такому разі не жаль заплатити повну вартість.
Конференції в мінус, мабуть, не рідкість. Не враховуючи JEE кх-кх Conf :smile:
@listochkin, а вен'ю спонсорував Microsoft?
Андрей Листочкин (Andrey Listochkin)
@listochkin
да, иначе билет был бы в районе 250
Ivan Ivashchenko
@defuz
Ребята, кто планирует быть завтра на RustFest, дайте знать. :)
Nikita Khomitsevich
@hamsternik
жаль, что в Берлине, а не в Киеве :D
Андрей Листочкин (Andrey Listochkin)
@listochkin
@defuz привет там передавай, у меня с визами лажа, поэтому я не еду
Ivan Ivashchenko
@defuz
@listochkin оу, это печально.( мне компания по-быстрому открыла визу в Испанию. А знаешь кого-нибудь кто едет из Украины/России?
Андрей Листочкин (Andrey Listochkin)
@listochkin
не, не знаю. Я вообще на 120% в рабооте и ни за кем не слежу
Dmitry Gritsay
@d-unseductable

жаль, что в Берлине, а не в Киеве :D

https://twitter.com/RustFest/status/777535515721605120

Kyrylo Yakovenko
@blia
@listochkin накаставал?
Vladyslav Siriniok
@siriniok
Wow, really?
Лісточкін точно щось знав)
Kyrylo Yakovenko
@blia
ну он на скриншоте же :)
Vladyslav Siriniok
@siriniok
та бачу)
але вище він ні слова не сказав про це)
Nikita Khomitsevich
@hamsternik
лол, крутяк :)
без @listochkin не обошлось :D
Vladyslav Siriniok
@siriniok
коли Магомет не їде до гори через візу, то гора їде до Магомета :smile:
Luda Lukashevskaya
@lud4ik
:+1:
Андрей Листочкин (Andrey Listochkin)
@listochkin
я же еще летом говорил уже, что мы делаем следующий РастФест
Dmitry Gritsay
@d-unseductable
Привет! Если есть рубисты, заходите к нам This Week in Ruru 1 :smiley:
Vladyslav Siriniok
@siriniok
Oleksandr Nikitin
@wizzard0
панове, а хтось бачив пейпери по теорії, що лежить під borrow checking'ом?
Michael Pankov
@mkpankov
@wizzard0 http://plv.mpi-sws.org/rustbelt/ внизу Related Papers
Oleksandr Nikitin
@wizzard0
Ага, спасибо
Unfortunately, none of Rust's safety claims have been formally investigated, and it is not at all clear that they hold.
Вот я пришел к такому же где-то выводу и стало как-то неуютно)))
Michael Pankov
@mkpankov
ещё можно почитать про ATS и Cyclone (языки такие были)
думаю про них-то должны быть статьи
Oleksandr Nikitin
@wizzard0
Мб, мб
Просто все с одной стороны ссылаются на Wadler et al. про LTL, но как-то никакой очевидной связи не видно...
Michael Pankov
@mkpankov
@wizzard0 хз, но тут вот в вики в applications написано "Expressing important properties in formal verification" и там про safety и liveness
а это как раз про раст)
Oleksandr Nikitin
@wizzard0
ссылку, ссылку!
или wikipedia/rust?