Estou aprendendo Rust e uma das coisas que me deixou curioso é a ausência de exceções.
Ao contrário de linguagens como C#, Java, JavaScript etc, que possuem exceções, em Rust isso não existe. Se uma função pode falhar e o erro deve ser tratado (o que chamam de recoverable error), há de se retornar uma mônada chamada Result
[1][2][3].
Parece que a ausência de exceções tem se tornado "moda". Rust e Go são duas linguagens relativamente novas que não possuem essa ideia tão fundamentada na linguagem.
- Quais as vantagens e desvantagens de mônadas como o
Result
? - Em linguagens como Rust, que obrigam o
Result
para recoverable errors e possuem um sistema comopanic!
(em tese não tratáveis) para unrecoverable errors, a ausência de exceções pode ser um empecilho? - Em linguagens com exceções, o chamador de uma função pode optar por não tratar o erro. Mas com
Result
isso não me parece possível implicitamente. O que fazer nesses casos? Sou obrigado a tratar todo erro possível?
[1]: Note que quando falo Result
, refiro-me a mônadas similares também, como Option
e afins.
[2]: Embora esta outra resposta trate brevemente sobre o assunto (especificamente sobre o Result
), gostaria de um aprofundamento um pouco maior.
[3]: O nome Result
é mais comum em Rust. Outras linguagens, como Haskell, utilizam a denominação Either
— que decerto pode abranger um pouco mais casos de uso em relação à semântica nominal.