O Verificador de Empréstimos do Rust: Mais Praga do que Benção?

Rust, elogiado por sua combinação de velocidade e segurança graças ao seu verificador de empréstimos, enfrenta críticas neste post. O autor argumenta que o verificador de empréstimos cria problemas ergonômicos significativos, rejeitando código perfeitamente válido devido a regras excessivamente conservadoras. Vários exemplos demonstram a refatoração desnecessária exigida. A postagem questiona o papel superestimado do verificador de empréstimos na segurança do Rust, comparando-o a linguagens com coleta de lixo, como Python e Julia. Embora reconheça os benefícios do verificador de empréstimos na programação concorrente, o autor argumenta que sua sobrecarga em contextos de thread único supera as vantagens. Os pontos fortes do Rust, como seu sistema de tipos forte e sua rica biblioteca padrão, são destacados como as verdadeiras razões de seu sucesso.