Size: a a a

Rust Jobs - вакансии & резюме

2021 December 15

IB

Ivan Boldyrev in Rust Jobs - вакансии & резюме
Если ты корректную программу на Python перепишешь на Haskell, она скомпилируется? Что это доказывает про Python и Haskell?
источник

BZ

Bulat Ziganshin in Rust Jobs - вакансии & резюме
ну вот об этом я и говорю. раст заставляет добавлять аннотации чтобы доказать ему корректность кода, и даже после этого не всегда его пропускает
источник

IB

Ivan Boldyrev in Rust Jobs - вакансии & резюме
Значит, не доказал.
источник

IB

Ivan Boldyrev in Rust Jobs - вакансии & резюме
Извини, Булат, это все доводы питониста, который пытается писать на Haskell.
источник

BZ

Bulat Ziganshin in Rust Jobs - вакансии & резюме
именно. я старый человек и не люблю думать вообще, а уж тем более тратить время на бессмысленные действия
источник

AL

Andrey @ozkriff Lesn... in Rust Jobs - вакансии & резюме
вы сейчас какую именно растовакансию обсуждаете?
источник

BZ

Bulat Ziganshin in Rust Jobs - вакансии & резюме
мы обсуждаем работу на расте вообще. и в частности когда его следует предпочесть другим языкам
источник

DS

Dmitry Shlagoff in Rust Jobs - вакансии & резюме
Как раз убедишься, что безошибочная. Или что нет. )
источник

BZ

Bulat Ziganshin in Rust Jobs - вакансии & резюме
ты сейчас пытаешься подменить предмет дискуссии, используя приблизительную аналогию
источник

BZ

Bulat Ziganshin in Rust Jobs - вакансии & резюме
не убежусь. раст находит только часть ошибок. и ещё часть он придумывает :)
источник

IB

Ivan Boldyrev in Rust Jobs - вакансии & резюме
Как и Haskell.
источник

DS

Dmitry Shlagoff in Rust Jobs - вакансии & резюме
Это memory safety bugs придумывает? )
источник

DS

Dmitry Shlagoff in Rust Jobs - вакансии & резюме
Да даже если и придумывает — есть же unsafe для безошибочного кода. 🙂
источник

DS

Dmitry Shlagoff in Rust Jobs - вакансии & резюме
Обсуждение раста в таком ключе описывается фразой из интернета:

«Пфф, что такого хорошего в языке, который чего-то *не* умеет».
источник

KT

Konstantin Ta in Rust Jobs - вакансии & резюме
Скажем так, я последние 15 лет пишу на языках с gc, но такое вижу в первый раз, чтобы рантайм просто так "на всякий случай" через определенный таймаут запускал gc.
источник

IB

Ivan Boldyrev in Rust Jobs - вакансии & резюме
Давай я переформулирую. Твоя претензия в том, что Rust не является волшебной палочкой, которая решает все проблемы без усилий программиста.

Любой формализм находит лишь часть багов, и любой нетривиальный формализм требует усилий на доказывание компилятору, что программист - не верблюд.

Но можно такую аналогию привести - можно ли любую программу на C переписать на C++? Да, но будет нарушена инкапсуляция (все эти private-protected, которых нет в классическом C). Так и в Rust можно писать с unsafe, который является просто отражением unsafe исходного языка.
источник

BZ

Bulat Ziganshin in Rust Jobs - вакансии & резюме
нет, это вы тут начали крестовый поход с абсолютистскими идеями. я лишь написал что раст мне лично не нравится двумя вещами, и что раст не подходит для массового прикладного программирования
источник

BZ

Bulat Ziganshin in Rust Jobs - вакансии & резюме
и конкретно - на расте мало написать корректную программу, нужно ещё потратить время чтобы убедить в этом компилятор
источник

IB

Ivan Boldyrev in Rust Jobs - вакансии & резюме
Твои формулировки были технически некорректны.
источник

BZ

Bulat Ziganshin in Rust Jobs - вакансии & резюме
приведи технически корректную версию моих формулировок
источник