Size: a a a

2020 May 12

RP

Roman Proskuryakov in rust_offtopic
как не выводит? по пейперу выводит
источник

MB

Mikail Bagishov in rust_offtopic
Таак, пойду погуглю
источник

RP

Roman Proskuryakov in rust_offtopic
Mikail Bagishov
Таак, пойду погуглю
Ага. Пока мы тут гордились своим борроучекером, в С++ произошла тихая революция. https://github.com/isocpp/CppCoreGuidelines/blob/master/docs/Lifetime.pdf
источник

MB

Mikail Bagishov in rust_offtopic
Написано, что там локальный анализ
источник

MB

Mikail Bagishov in rust_offtopic
Ну да, там слабый анализ
источник

MB

Mikail Bagishov in rust_offtopic
Это как раст, но только с elision rules
источник

MB

Mikail Bagishov in rust_offtopic
Короче, беглым взглядом я не вижу полноценного борроучекера
источник

MB

Mikail Bagishov in rust_offtopic
Вижу анализ, который способен детектить некоторые случаи провисания ссылок
источник

RP

Roman Proskuryakov in rust_offtopic
угу.
источник

MB

Mikail Bagishov in rust_offtopic
По опыту растового кода понятно, что этого сильно недостаточно.
источник

MB

Mikail Bagishov in rust_offtopic
Потому что каждая растовая функция, в которой лайфтаймы явно размечены, это поражение такого анализа
источник

SP

Stanislav Popov in rust_offtopic
@p0lunin напомни че за язык ты советовал?
источник

MB

Mikail Bagishov in rust_offtopic
Stanislav Popov
@p0lunin напомни че за язык ты советовал?
он же свой пишет
источник

MB

Mikail Bagishov in rust_offtopic
vglang вроде
источник

R

Rafael in rust_offtopic
Stanislav Popov
@p0lunin напомни че за язык ты советовал?
ты про ATS?
источник

SP

Stanislav Popov in rust_offtopic
там чето было KLOPчтототам
источник

SP

Stanislav Popov in rust_offtopic
polunin.ai
knorpel :)
вот
источник

SP

Stanislav Popov in rust_offtopic
а это просто шутейка была
источник

SP

Stanislav Popov in rust_offtopic
а ничо се. типа манифест. нот бед
источник

SP

Stanislav Popov in rust_offtopic
ну правильно все там да
источник