> -- kemiisto писал(а):
> Но подвижки какие-никакие есть. Взгляните, например, на столь любимый нынче Rust (года 3 уже как Most Loved Language по опросам Stack Overflow), который с одной стороны про то же самое, что и С++ (zero-cost abstractions, fine control over memory management, вот это всё), но уже более reliable и safe. Суть тут не в самом Rust, а в том, что индустрию в целом потихоньку начинает интересовать вопрос надёжности и безопасности ПО. Ренесанс Ada, да тот же современный C++ - в туже копилку. Осталось только понять, что надёжности и безопасности невозможно добиться без простоты...

Так эти подвижки на надёжность были ещё в начале 2000-х, когда С/С++ был выбит из прикладного софта, Явой и Шарпом, чисто на основе экономики (насколько дольше и дороже по зарплате получать качественный прикладной софт на нём, нежели на безопасном языке).
И у MS это тогда же пошло и на системный уровень - Sing#, Singularity ведь не просто были как Research, они очень много формализовали и переделали безопасно и доказательно на уровне ядра в Windows 7. Насколько мне рассказывал их Владислав Шершульский тогда, там было всё весьма неплохо. У MS основные проблемы таки в продуктовых командах (браузер, офис и т.п.) - а не в ОС. Кстати, Windows Phone (8, 10) по быстодействию, надёжности и экономичности на аккумулятор не сравнится с Андроидом даже близко. У меня с 3 Гб ОЗУ Android тупит, а на 512 Windows Phone летал.

В этом плане в плане дырявости и небезопасности разработки, увы, Open-Source и Nix-мир остаётся в пещерном состоянии.