Если ты корректную программу на Python перепишешь на Haskell, она скомпилируется? Что это доказывает про Python и Haskell?

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

Значит, не доказал.

Извини, Булат, это все доводы питониста, который пытается писать на Haskell.

именно. я старый человек и не люблю думать вообще, а уж тем более тратить время на бессмысленные действия

вы сейчас какую именно растовакансию обсуждаете?

мы обсуждаем работу на расте вообще. и в частности когда его следует предпочесть другим языкам

Как раз убедишься, что безошибочная. Или что нет. )

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

не убежусь. раст находит только часть ошибок. и ещё часть он придумывает :)

Как и Haskell.

Это memory safety bugs придумывает? )

Да даже если и придумывает — есть же unsafe для безошибочного кода. 🙂

Обсуждение раста в таком ключе описывается фразой из интернета:

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

Скажем так, я последние 15 лет пишу на языках с gc, но такое вижу в первый раз, чтобы рантайм просто так "на всякий случай" через определенный таймаут запускал gc.

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

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

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

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

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

Твои формулировки были технически некорректны.

приведи технически корректную версию моих формулировок