История изменений

Когда же выясняется, что Rust опирается на обещания разработчика и делает проверку только на основе этих обещаний, то разговоры про «гарантии» — это недобросовесный маркетинговый булшит. Говорили бы про помощь с борьбе с data races, было бы более точно. А так есть ощущение, что пытаются мягко на*бывать.

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

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

язык, у которого стандартная библиотека на unsafe-ах, лично меня совсем не устраивает; гораздо лучше было бы, если бы стандартная библиотека требовала километровых простыней доказательств, недоступных обычным программистам (и проверяемых какой-то тулзой); но хороший язык должен все же давать возможность написать стандартную библиотеку без unsafe-а и километровых простыней

Когда же выясняется, что Rust опирается на обещания разработчика и делает проверку только на основе этих обещаний, то разговоры про «гарантии» — это недобросовесный маркетинговый булшит. Говорили бы про помощь с борьбе с data races, было бы более точно. А так есть ощущение, что пытаются мягко на*бывать.

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

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

язык, у которого стандартная библиотека на unsafe-ах, лично меня совсем не устраивает; гораздо лучше было бы, если бы стандартная библиотека требовала километровых простыней доказательств, недоступных обычным программистам (и проверяемых какой-то тулзой); но хороший язык должен все же давать возможность написать стандартную библиотеку без unsafe-а и километровых простыней