Aprendendo Rust #00

Essa série vai registrar minha jornada aprendendo Rust e vai culminar em um primeiro projeto (talvez um servidor HTTP ou algum tipo de CLI). A principal fonte de estudos dessa série vai ser o livro The Rust Programming Language.

O que é Rust?

Rust é uma linguagém de propósito geral que foca em performance, confiabilidade e produtividade. O grande destaque da linguagém está na camada de Memory Safety provida pelo famoso Borrow Checker (chegaremos lá em breve).

Imutabilidade

Uma feature que a importância pode passar despercebida por muitos é a imutabilidade by default, que, além de manter o código seguro, impedindo alteração acidental de valores, também o deixa mais legível sempre tendo mut denotando para leitores o que é mutável e o que não é. A respeito desse assunto recentemente vi esse tweet do lendário John Carmack que traz uma perspectiva diferente sobre o assunto da imutabilidade.

Statements VS Expressions

Rust tem esses dois conceitos bem definidos, e entender isso tem importância na interpretação do código. statements são instruções que performam uma ação e não retornam um valor, expressions evaluate¹ para um valor resultante:

let y = 6; // let é um statement que binda um valor na variável y
let x = 5 + 6; // 5 + 6 é uma expression que gera 11, fazendo parte de um statement
let z = {
    let a = 3;
    a + 1 // sem ponto e virgula indica o "retorno" do bloco dessa expression
}
let s = sum(10, 25) // chamar funções são expressions
let i = if true { 10 } else { 25 }; // ifs são expressions

Não gostei da questão de ; ter o valor semântico implicito de terminar apenas statements, da mesma forma que detesto a sintaxe de exportação em Go, preferiria que usassem uma keyword pub/public. Também não sou fã dessa idéia de implicit return (a ultima expressão num escopo ser retornada) preferiria que houvesse a obrigatoriedade de return explícito. Gosto de expressividade, especialmente nesses casos onde não adiciona verbosidade.

Tooling

Uma das ferramentas que mais me ajudam a estudar uma linguagem nova são os LSPs, no caso de rust, o rust_analyzer. Ter a documentação no hover e no autocomplete ajuda a manter o foco dentro do editor.

Além disso como o compilador de rust é muito descritivo os diagnósticos do rust_analyzer são muito úteis pra identificar rapidamente erros de sintaxe e tipos:

error[E0308]: `if` and `else` have incompatible types
 --> src/main.rs:4:44
  |
4 |     let number = if condition { 5 } else { "six" };
  |                                 -          ^^^^^ expected integer, found `&str`
  |                                 |
  |                                 expected because of this

For more information about this error, try `rustc --explain E0308`.
error: could not compile `branches` (bin "branches") due to 1 previous error

Imagino que, quando começarmos a adentrar os pântanos mais complexos como Macros ou Lifetimes as mensagens vão ficar cada vez mais complexas (espero nunca ver stack traces parecidos com erros de compilação de templates em C++98).