Rust — это сложно, или несчастье массового программирования Перевод

Когда вы используете Rust, иногда просто нелепо, сколько знаний языка, а также изобретательности и любознательности в программировании вам нужно, чтобы выполнить самые тривиальные вещи. Когда вы чувствуете себя особенно отчаянно, вы идете на rust/issues и ищете решение своей проблемы. Внезапно вы обнаружите проблему с объяснением того, что теоретически невозможно спроектировать ваш API таким образом из-за какой-то тонкой языковой ошибки.

Проблема с Rust

«Бесстрашный параллелизм» — формально правильное, но тем не менее вводящее в заблуждение утверждение. Да, у вас больше нет страха перед гонками данных, но у вас есть БОЛЬ, много боли.

Почему Rust такой сложный?

Иногда полезно понять, почему происходит дерьмо. «Потому что X — это плохо» — это не ответ; «Потому что люди, которые сделали X, плохие» — это тоже не объяснение.

Rust стремится сделать все эти вещи интуитивно понятными и безопасными для памяти. Эта офигенная комбинация подчеркивает человеческие ограничения дизайна компьютерного языка. Теперь должно быть совершенно понятно, почему Rust время от времени кажется дырявым; на самом деле, это почти чудо, что он вообще функционирует.

Компьютерный язык похож на систему тесно переплетенных компонентов: каждый раз, когда вы вводите новую лингвистическую абстракцию, вы должны убедиться, что она хорошо сочетается с остальной частью системы, чтобы избежать ошибок и несоответствий. Возможно, мы должны предоставить бесплатную медицинскую страховку или другие пожизненные льготы тем, кто разрабатывает такие языки на постоянной основе.

Как все может быть иначе?

Теперь представьте, что все проблемы Rust исчезли, и теперь он полностью высокоуровневый. Это выбило бы дерьмо из всех основных языков программирования.

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

В ожидании лучшего будущего

Так что, если я «во всем этом разобрался», почему бы мне не разработать более совершенную версию Rust? Я не хочу тратить следующие двадцать лет на попытки сделать это, учитывая, что шанс того, что мой язык выделится, бесконечно мал. Я думаю, что текущий набор наиболее используемых рабочих языков в какой-то степени довольно случайный — мы всегда можем сказать, почему конкретный язык стал популярным, но в целом мы не можем объяснить, почему лучшие альтернативы канули в лету.

Поддержка крупной корпорации? Случайно нацелились на ИТ-тенденцию будущего? Опять же, причины скорее социальные. Суровая реальность: в жизни иногда надежда играет гораздо более важную роль, чем все ваши умения и самоотверженность.

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

https://hirrolot.github.io/posts/rust-is-hard-or-the-misery-of-mainstream-programming.html