🦉
там есть без ноды
Size: a a a
2020 March 16
MS
Ну да, я про это. Там или под неовим, или с ноджсом, или и то и другое.
MS
У рлс вроде получше с этим дело.
🦉
У рлс вроде получше с этим дело.
а чего нода не нравится?
MS
а чего нода не нравится?
Нет на компьютере.
🦉
установить?
MS
ради одного плагина в виме?
🦉
там куча rls с coc затаскивается же
🦉
ну и даже ради хорошего analyzer, почему бы и нет
d
Ну да, я про это. Там или под неовим, или с ноджсом, или и то и другое.
ты у @mexus спроси, он эту тему вроде знает
MS
Ок, призываю @mexus !
R
что в rust мире значат слова sound, unsound и тд, где почитать можно? Читаю сейчас: https://doc.rust-lang.org/nomicon/dropck.html.
Неясно, что имелось ввиду, например, тут: "For a generic type to soundly implement drop, its generics arguments must strictly outlive it."
Неясно, что имелось ввиду, например, тут: "For a generic type to soundly implement drop, its generics arguments must strictly outlive it."
MS
что в rust мире значат слова sound, unsound и тд, где почитать можно? Читаю сейчас: https://doc.rust-lang.org/nomicon/dropck.html.
Неясно, что имелось ввиду, например, тут: "For a generic type to soundly implement drop, its generics arguments must strictly outlive it."
Неясно, что имелось ввиду, например, тут: "For a generic type to soundly implement drop, its generics arguments must strictly outlive it."
sound — буквально, вменяемый. Правило, которое нет возможности проверить силами статического анализа, но на исполнение которого все рассчитывают.
K
что в rust мире значат слова sound, unsound и тд, где почитать можно? Читаю сейчас: https://doc.rust-lang.org/nomicon/dropck.html.
Неясно, что имелось ввиду, например, тут: "For a generic type to soundly implement drop, its generics arguments must strictly outlive it."
Неясно, что имелось ввиду, например, тут: "For a generic type to soundly implement drop, its generics arguments must strictly outlive it."
Это не мир раста, а термин из мат.логики который прижился повсюду, в частности в ЯП речь обычно про систему типов
R
sound — буквально, вменяемый. Правило, которое нет возможности проверить силами статического анализа, но на исполнение которого все рассчитывают.
если тип реализует Eq, но сравнивает как попало, а не как надо - это unsound?
MS
если тип реализует Eq, но сравнивает как попало, а не как надо - это unsound?
Вот я думал похожий пример привести, но в последний момент передумал потому что до конца не уверен.
e🦀
если тип реализует Eq, но сравнивает как попало, а не как надо - это unsound?
Это ошибка логики, но не системы типов
d
что в rust мире значат слова sound, unsound и тд, где почитать можно? Читаю сейчас: https://doc.rust-lang.org/nomicon/dropck.html.
Неясно, что имелось ввиду, например, тут: "For a generic type to soundly implement drop, its generics arguments must strictly outlive it."
Неясно, что имелось ввиду, например, тут: "For a generic type to soundly implement drop, its generics arguments must strictly outlive it."
https://doc.rust-lang.org/nomicon/working-with-unsafe.html
вот здесь чуток об этом есть
вот здесь чуток об этом есть
e🦀
А вот когда умный указатель не гарантирует своих свойств — он unsound. Или если асинхронный примитив не гарантирует своих свойств — он unsound
MB
Вот я думал похожий пример привести, но в последний момент передумал потому что до конца не уверен.
Нет, так как он не объявлен как unsafe trait