<!doctype html>
< html lang = "en" >
< head >
< meta charset = "utf-8" >
< title > Porque você deveria aprender Rust< / title >
< meta name = "description" content = "Por que você deveria aprender Rust" >
< meta name = "author" content = "Julio Biason" >
< meta name = "apple-mobile-web-app-capable" content = "yes" >
< meta name = "apple-mobile-web-app-status-bar-style" content = "black-translucent" >
< meta name = "viewport" content = "width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no, minimal-ui" >
< link rel = "stylesheet" href = "reveal.js/css/reveal.css" >
< link rel = "stylesheet" href = "reveal.js/css/theme/night.css" id = "theme" >
<!-- Code syntax highlighting -->
< link rel = "stylesheet" href = "reveal.js/lib/css/zenburn.css" >
<!-- Printing and PDF exports -->
< script >
var link = document.createElement( 'link' );
link.rel = 'stylesheet';
link.type = 'text/css';
link.href = window.location.search.match( /print-pdf/gi ) ? 'css/print/pdf.css' : 'css/print/paper.css';
document.getElementsByTagName( 'head' )[0].appendChild( link );
< / script >
<!-- [if lt IE 9]>
< script src = "lib/js/html5shiv.js" > < / script >
<![endif]-->
< style type = "text/css" media = "screen" >
.happy {
color: yellow;
}
.reveal section img {
border: none;
}
.reveal ul.empty {
list-style: none inside;
}
.revel ul.empty li {
display: block;
}
.cursor {
background-color: #666;
color: white;
}
img {
max-height: 90%;
}
td.seen {
font-style: italic;
font-weight: bold;
}
.semi-opaque {
background-color: rgba(0, 0, 0, 0.7);
}
< / style >
< / head >
< body >
< div class = "reveal" >
< div class = "slides" >
< section data-background = "_images/rust-ferris.png" data-header >
< h2 class = "semi-opaque" > Porque Você Deveria Aprender Rust< / h2 >
< / section >
< section data-background = "_images/rust-ferris.png" >
< h2 class = "semi-opaque" > Porque Você DEVE Aprender Rust< / h2 >
< aside class = "notes" >
Eu ia falar do porque o pessoal deveria aprender Rust,
mas acho que faz mais sentido dizer que o pessoal TEM
QUE aprender Rust.
< / aside >
< / section >
< section >
< img src = "_images/avatar-20170726.png" alt = "Me" style = "float:left;width:200px;" class = "no-border" >
< div >
< ul class = "empty" >
< li > Júlio Biason< / li >
< li > < a href = "https://functional.cafe/@juliobiason" > https://functional.cafe/@juliobiason< / a > < / li >
< li > < a href = "https://t.me/juliobiason" > https://t.me/juliobiason< / a > < / li >
< li > julio.biason@pm.me< / li >
< / ul >
< / div >
< / section >
< section >
< div >
< h3 > JulioBiason.me< / h3 >
< ul >
< li > < a href = "https://blog.juliobiason.me/" > Blog< / a > < / li >
< li > < a href = "https://presentations.juliobiason.me/" > Presentations< / a > < / li >
< li > < a href = "https://git.juliobiason.me/" > Git< / a > < / li >
< li > < a href = "https://resume.juliobiason.me/" > CV/Resumé< / a > < / li >
< li > < a href = "https://books.juliobiason.me/" > Books< / a > < / li >
< / ul >
< / div >
< / section >
< section >
< h2 > História< / h2 >
< ul >
< li > Criada em 2006 por Graydon Hoare.< / li >
< li > Patrocinada pela Mozilla em 2009.< / li >
< li > Versão 1.0 em 2015.< / li >
< li > Versão atual: 1.70< / li >
< / ul >
< aside class = "notes" >
Parte burocrática da apresentação.
PS: Pode ser que, quando você essa apresentação, 1.70
não seja mais a versão atual; a cada 6 semanas, sai uma
nova versão do compilador.
< / aside >
< / section >
< section >
< h2 >
História
< img src = "_images/AYV1X0yv.png" alt = "" style = "width:100px;margin:0" >
< / h2 >
< p >
Basic (com números e estruturado), dBase III Plus,
Clipper, Pascal, Cobol, Delphi (ObjectPascal),
C, C++, ActionScript (Flash), PHP, JavaScript,
Python, Objective-C, Clojure, Java, Scala
< strong > , Rust.< / strong >
< / p >
< aside class = "notes" >
Um porque de história sobre esse que lhes apresenta
a linguagem:
Eu já trabalhei com todas essas linguagens. Fora
essas, eu ainda sei ler
- Perl
- Ruby
- Haskell
- Swift
< / aside >
< / section >
< section >
< div >
A language that doesn't affect the way you think
about programming, is not worth knowing.
< / div >
< div >
-- Alan Perlis, "ALGOL"
< / div >
< aside class = "notes" >
Apesar de ter todas essas linguagens, eu ainda
preciso passar essa frase do Perlis, porque
realmente Rust mudou a forma como eu penso em
outras linguagens.
Apesar do forte do Rust ser a proteção de memória,
eu posso oficialmente dizer que agora eu entendo
generics muito melhor por causa da forma como o
Rust trabalha.
< / aside >
< / section >
< section >
< h2 > O Que Rust Tem de Diferente?< / h2 >
< / section >
< section >
< h2 > Borrow Checker< / h2 >
< aside class = "notes" >
O "Borrow Checker" é uma das principais novidades
do Rust em comparação com outras linguagens.
Ele basicamente controla como as variáveis vão ser
alocadas, quando serão desalocadas, quem pode
acessar o conteúdo da mesma e assim por diante.
< / aside >
< / section >
< section >
< pre > < code class = "hljs rust" data-trim >
let a = String::from("hello");
< / code > < / pre >
< / section >
< section >
"Variável < strong > < code > a< / code > < / strong > tem o valor < strong > < code > "hello"< / code > < / strong > "
< aside class = "notes" >
Em todas as linguagens que eu usei, sempre que via
uma atribuição, eu pensava "a variável X tem o
valor Y" -- mesmo em C.
< / aside >
< / section >
< section >
< div >
"Posição de memória apontada por < strong > < code > a< / code > < / strong > tem o valor < strong > < code > "hello"< / code > < / strong > "
< / div >
< div class = "fragment" >
< pre > < code >
0x3f5cbf89 = "hello"
< / code > < / pre >
< / div >
< aside class = "notes" >
Nunca uma linguagem me fez "despensar" no nome da
variável pra pensar que ela representa, na verdade,
uma posição de memória.
< / aside >
< / section >
< section >
< img src = "_images/rust-memory.png" alt = "" class = "stretch" >
< aside class = "notes" >
É mais ou menos isso que Rust "pensa" internamente
quando vê uma variável: uma posição de memória, de
um tamanho já definido, de um tipo definido.
E essa posição de memória *pertence* apenas à
variável indicada.
< / aside >
< / section >
< section >
< pre > < code class = "hljs rust" data-trim >
fn main() {
let a = String::from("hello");
let b = a;
println!("{}", a)
}
< / code > < / pre >
< / section >
< section >
< pre > < code >
error[E0382]: borrow of moved value: `a`
--> src/main.rs:5:20
|
4 | let b = a;
| - value moved here
5 | println!("{}", a)
| ^ value borrowed here after move
|
= note: move occurs because `a` has type
`std::string::String`, which does not
implement the `Copy` trait
< / code > < / pre >
< aside class = "notes" >
O borrow checked não deixa a variável "a" ser
utilizada: quando a atribuímos "b" o valor de "a",
o que estamos fazendo é indicando que aquela
posição de memória agora é controlada por "b" e
não mais por "a".
< / aside >
< / section >
< section >
< p > Para ter mais de um acesso a mesma posição de memória, < strong > referências< / strong > < / p >
< aside class = "notes" >
Assim como C++, Rust tem o conceito de "referências".
< / aside >
< / section >
< section >
< pre > < code class = "hljs rust" data-trim >
fn main() {
let a = String::from("hello");
let b = &a;
println!("{}", a)
}
< / code > < / pre >
< / section >
< section >
< img src = "_images/rust-reference.png" alt = "" class = "stretch" >
< aside class = "notes" >
Uma referência nada mais é que um ponteiro para um
"controlador" de uma região de memória.
< / aside >
< / section >
< section >
< h3 > Regras do Borrow Checker< / h3 >
< p class = "fragment" >
Uma região de memória tem apenas um dono.
< / p >
< p class = "fragment" >
Passar um valor (região de memória) de uma variável
para outra, troca o dono.
< / p >
< p class = "fragment" >
A região é desalocada quando o dono sair de escopo.
< / p >
< aside class = "notes" >
Uma coisa engraçada sobre "quando sair de escopo" é
que existe uma função semelhante ao "free()" do C,
chamada "drop". Essa função não tem nada no corpo,
e recebe um parâmetro (sem ser por referência), se
tornando a dona da memória; assim, como ela termina
exatamente naquele ponto, a região de memória é
liberada.
< / aside >
< / section >
< section >
< h3 > Regras do Borrow Checker< / h3 >
< p class = "fragment" >
Uma região de memória pode ter infinitas referências.
< / p >
< p class = "fragment" >
... desde que elas não durem mais do que o dono.
< / p >
< aside class = "notes" >
Não é possível ter uma função que cria uma variável
e retorna apenas uma referência para essa variável:
no momento que a função for encerrada, ela irá
levar todas as variáveis com ela e as referências
se tornaram inválidas.
< / aside >
< / section >
< section >
< h3 > Regras do Borrow Checker< / h3 >
< p class = "fragment" >
É possível ter uma referência mutável de uma região de memória.
< / p >
< p class = "fragment" >
... mas para haver uma referência mutável ela deve ser
a < strong > única< / strong > referência.
< / p >
< / section >
< section >
< img src = "_images/dunno.jpg" alt = "" class = "stretch" >
< aside class = "notes" >
E o que isso ajuda, no final das contas?
< / aside >
< / section >
< section >
< img class = "stretch" src = "_images/40-years-processor-trend.png" alt = "" >
< / section >
< section >
< a href = "https://www.zdnet.com/article/microsoft-70-percent-of-all-security-bugs-are-memory-safety-issues/" > Microsoft: 70 percent of all security bugs are memory safety issues< / a >
< / section >
< section >
< h3 > Regras do Borrow Checker< / h3 >
< p > Uma região de memória tem apenas um dono.< / p >
< p > Passar um valor (região de memória) de uma variável
para outra, troca o dono.< / p >
< p class = "fragment" > < strong > Sem condições de corrida (race conditions)< / strong > < / p >
< / section >
< section >
< h3 > Regras do Borrow Checker< / h3 >
< p > A região é desalocada quando o dono sair de escopo.< / p >
< p class = "fragment" > < strong >
Evita problemas de double-free ou não usar free e sem
precisar de garbage collector.
< / strong > < / p >
< / section >
< section >
< h3 > Regras do Borrow Checker< / h3 >
< p >
Uma região de memória pode ter infinitas referências.
... desde que elas não durem mais do que o dono.
< / p >
< p class = "fragment" > < strong >
Sem dangling-pointers.
< / strong > < / p >
< / section >
< section >
< h3 > Regras do Borrow Checker< / h3 >
< p >
É possível ter uma referência mutável de uma região de memória.
... mas para haver uma referência mutável ela deve ser
a < strong > única< / strong > referência.
< / p >
< p class = "fragment" > < Strong > Condição de corrida< / strong > < / p >
< / section >
< section >
< h3 > Além do borrow Checker< / h3 >
< ul >
< li > Uso extenso de iteradores para evitar out-of-bounds.< / li >
< li > Bound-check para casos sem iteradores (com custo).< / li >
< li > Sem coerção de tipos.< / li >
< / ul >
< / section >
< section >
< h3 > MISRA-C / MISRA-C++< / h3 >
< p > Conjunto de regras para uso de C/C++ para equipamentos
aonde vidas humanas estão em jogo.< / p >
< p class = "fragment" > 75% das regras já são obrigatórias pelo
compilador (108 dos 141 casos)< / p >
< / section >
< section >
< img src = "_images/full-house-michelle-tanner.gif" alt = "" class = "stretch" >
< / section >
< section >
< h2 > A Linguagem Mais Amada< / h2 >
< p >
< a href = "https://survey.stackoverflow.co/2023/" >
A linguagem mais amada (admirada) segundo o
StackOverflow Survey 2023
< / a >
< / p >
< p class = "fragment" > ... pelo 8⁰ ano seguido.< / p >
< aside class = "notes" >
O resultado do StackOverflow é sobre qual
linguagem os programadores realmente gostam de
programar (e quais eles tem pavor de usar).
Pessoalmente, depois de 30 anos programando,
quando começei a brincar com Rust, eu
finalmente me diverti enquanto programava.
< / aside >
< / section >
< section >
< h2 > Green Energy Language< / h2 >
< img src = "_images/rust-energy.png" alt = "" >
< aside class = "notes" >
Num estudo sobre quais linguagens consomem mais
energia, Rust chegou bem próximo de C.
Parte do trabalho de otimização do Rust vem da LLVM
(parte do pacote do Clang), mas a árvore de
abstração ainda é gerada pela linguagem -- o que
significa que o compilador Rust consegue "ajudar" o
LLVM a otimizar o código.
< / aside >
< / section >
< section >
< h2 > Compilador Chato mas Amigável< / h2 >
< / section >
< section >
< pre > < code class = "hljs rust" data-trim >
fn main() -> u8 {
let a = 2;
a = 3;
println!("{}", a);
}
< / code > < / pre >
< aside class = "notes" >
Primeiro contato com Rust: assim como C, tem uma
função `main`, que pode retornar um inteiro; para
atribuir variáveis, usa-se `let`.
Uma coisa: Rust é "strong and statically typed", o
que sigifnica que a linguagem tem tipos, mas por
padrão o compilador tenta inferir o tipo.
Uma outra forma de escrever o let seria:
```
let a: u8 = 2;
```
< / aside >
< / section >
< section >
< pre > < code class = "hljs" data-trim >
3 | let a = 2;
| -
| |
| first assignment to `a`
| help: make this binding mutable: `mut a`
4 | a = 3;
| ^^^^^ cannot assign twice to immutable variable
< / code > < / pre >
< aside class = "notes" >
Se você tentar mudar um dado depois de criado, o
compilador Rust não vai deixar.
< / aside >
< / section >
< section >
< pre > < code class = "hljs" data-trim data-line-numbers = "7" >
3 | let a = 2;
| -
| |
| first assignment to `a`
| help: make this binding mutable: `mut a`
4 | a = 3;
| ^^^^^ cannot assign twice to immutable variable
< / code > < / pre >
< aside class = "notes" >
... mas se tu olhar com calma, tu vai ver que não só o
compilador disse, claramente, o que era o problema...
< / aside >
< / section >
< section data-transition = "fade" >
< pre > < code class = "hljs" data-trim data-line-numbers = "5" >
3 | let a = 2;
| -
| |
| first assignment to `a`
| help: make this binding mutable: `mut a`
4 | a = 3;
| ^^^^^ cannot assign twice to immutable variable
< / code > < / pre >
< aside class = "notes" >
... como também vai dizer como resolver o problema.
< / aside >
< / section >
< section >
< img class = "stretch" src = "_images/Sorry-bout-that.gif" alt = "" >
< aside class = "notes" >
Ou seja, o compilador não só vai lá e diz: ERRADO!
... ele ainda dá uma dica de como resolver esse
problema.
< / aside >
< / section >
< section >
< h2 > Verificar Erros é Obrigatório< / h2 >
< / section >
< section >
< pre > < code class = "hljs rust" data-trim >
enum Result< T, E> {
Ok(T),
Err(E),
}
< / code > < / pre >
< / section >
< section >
< pre > < code class = "hljs c" data-trim >
FILE* fp = fopen("something.txt");
fprintf(fp, "Hello world");
< / code > < / pre >
< / section >
< section >
< pre > < code class = "hljs rust" data-trim >
match File::create("something.txt") {
Ok(fp) => fp.write_all(b"Hello world"),
Err(err) => println!("Failure! {}", err),
}
< / code > < / pre >
< / section >
< section >
< pre > < code class = "hljs rust" data-trim >
let mut file = File::create("something.txt").unwrap();
file.write(b"Hello world").unwrap();
< / code > < / pre >
< / section >
< section >
< pre > < code class = "hljs rust" data-trim >
let mut file = File::create("something.txt")?;
file.write(b"Hello world")?;
OK(())
< / code > < / pre >
< / section >
< section >
< h2 >
< a href = "https://doc.rust-lang.org/cargo/" >
Cargo
< / a >
< / h2 >
< p > "Cargo is the Rust package manager"< / p >
< p >
"Cargo downloads your Rust package’s dependencies,
compiles your packages, makes distributable
packages, and uploads them to crates.io, the Rust
community’s package registry."
< / p >
< / section >
< section >
< h2 > Ferramenta Para Testes Já Presente< / h2 >
< pre > < code class = "hljs rust" data-trim >
#[cfg(test)]
mod tests {
#[test]
fn testing() {
}
}
< / code > < / pre >
< / section >
< section >
< h3 > Tests< / h3 >
< pre > < code >
$ cargo test
Compiling adder v0.1.0 (file:///projects/adder)
Finished dev [unoptimized + debuginfo] target(s) in 0.22 secs
Running target/debug/deps/adder-ce99bcc2479f4607
running 1 test
test tests::testing ... ok
< / code > < / pre >
< / section >
< section >
< h2 > Desenvolvimento Aberto< / h2 >
< img src = "_images/rust-issues.png" alt = "4.5k issues no Github" class = "stretch" >
< / section >
< section >
< h2 > E agora?< / h2 >
< ul >
< li > < a href = "https://rustup.rs/" > rustup< / a > < / li >
< li > < a href = "https://doc.rust-lang.org/book/" > The Rust Book< / a > < / li >
< li > < a href = "https://doc.rust-lang.org/stable/rust-by-example/" > Rust By Example< / a > < / li >
< li > < a href = "https://play.rust-lang.org/?version=stable" > Rust Playground< / a > < / li >
< li > < a href = "https://t.me/rustlangbr" > Rust Brasil (Telegram)< / a > < / li >
< / ul >
< / section >
< section data-background = '_images/thats-all-folks.jpg' >
< div class = "semi-opaque" >
< ul class = "empty" >
< li > < a href = "https://functional.cafe/@juliobiason" > https://functional.cafe/@juliobiason< / a > < / li >
< li > < a href = "https://t.me/juliobiason" > https://t.me/juliobiason< / a > < / li >
< li > julio.biason@pm.me< / li >
< li > < a href = "https://presentations.juliobiason.me" > https://presentations.juliobiason.me< / a > < / li >
< / ul >
< / div >
< / section >
< / div >
< / div >
< script src = "reveal.js/lib/js/head.min.js" > < / script >
< script src = "reveal.js/js/reveal.js" > < / script >
< script >
// Full list of configuration options available at:
// https://github.com/hakimel/reveal.js#configuration
Reveal.initialize({
controls: true,
progress: true,
history: true,
center: true,
// showNotes: true,
transition: 'slide', // none/fade/slide/convex/concave/zoom
// Optional reveal.js plugins
dependencies: [
{ src: 'reveal.js/lib/js/classList.js', condition: function() { return !document.body.classList; } },
{ src: 'reveal.js/plugin/markdown/marked.js', condition: function() { return !!document.querySelector( '[data-markdown]' ); } },
{ src: 'reveal.js/plugin/markdown/markdown.js', condition: function() { return !!document.querySelector( '[data-markdown]' ); } },
{ src: 'reveal.js/plugin/highlight/highlight.js', async: true, callback: function() { hljs.initHighlightingOnLoad(); } },
{ src: 'reveal.js/plugin/zoom-js/zoom.js', async: true },
{ src: 'reveal.js/plugin/notes/notes.js', async: true }
]
});
< / script >
< / body >
< / html >
