Slide 1

Slide 1 text

What Is Rust Doing Behind the Curtains?

Slide 2

Slide 2 text

Matthias Endler !2 Hi! I am You might know me from... My YouTube channel! My Blog! Not at all!

Slide 3

Slide 3 text

• Hotel Search Platform • 2.5m+ Hotels/Accommodations • IT departments in Düsseldorf, Leipzig, Palma, Amsterdam • Java, Kotlin, Go, PHP, Python (, Rust?) • tech.trivago.com

Slide 4

Slide 4 text

Why should I care? !4

Slide 5

Slide 5 text

Rust is a systems programming language that runs blazingly fast, prevents segfaults, and guarantees thread safety. It aims to bring modern language design and an advanced type system to systems programming. Rust does not use a garbage collector, using advanced static analysis to provide deterministic drops instead.

Slide 6

Slide 6 text

Rust is a systems programming language that runs blazingly fast, prevents segfaults, and guarantees thread safety. It aims to bring modern language design and an advanced type system to systems programming. Rust does not use a garbage collector, using advanced static analysis to provide deterministic drops instead.

Slide 7

Slide 7 text

Empowering everyone to build reliable and efficient software.

Slide 8

Slide 8 text

Be curious. Try crazy things. Don't be afraid.

Slide 9

Slide 9 text

!9

Slide 10

Slide 10 text

Being curious is an amazing trait! We should embrace it, and help people be curious. Pascal Hertleif –
 Rust’s approach of getting things right

Slide 11

Slide 11 text

Julia Evans

Slide 12

Slide 12 text

Why's Poignant Guide to Ruby

Slide 13

Slide 13 text

No content

Slide 14

Slide 14 text

The Rust Compiler !14

Slide 15

Slide 15 text

!15 RUST SOURCE HIR Parsing
 Desugaring MIR Borrow-checking
 Optimization LLVM IR Optimization MACHINE CODE Optimization

Slide 16

Slide 16 text

!16 RUST SOURCE HIR Parsing
 Desugaring MIR Optimization LLVM IR MACHINE CODE Optimization Borrow-checking
 Optimization HAIR Optimization

Slide 17

Slide 17 text

Desugaring... Candy designed by Freepik, Vegetables by Macrovector

Slide 18

Slide 18 text

Code examples! At last... !18

Slide 19

Slide 19 text

Example1

Slide 20

Slide 20 text

fn main() {}

Slide 21

Slide 21 text

#[macro_use] extern crate std; #[prelude_import] use std::prelude::v1::*; fn main() {}

Slide 22

Slide 22 text

std::boxed::Box std::option::Option::{self, Some, None} std::result::Result::{self, Ok, Err} std::string::String; std::vec::Vec std::borrow::ToOwned std::clone::Clone std::cmp::{PartialEq, PartialOrd, Eq, Ord } std::convert::{AsRef, AsMut, Into, From} std::default::Default std::iter::{DoubleEndedIterator, ExactSizeIterator} std::iter::{Iterator, Extend, IntoIterator} std::marker::{Copy, Send, Sized, Sync} std::ops::{Drop, Fn, FnMut, FnOnce} std::slice::SliceConcatExt std::string::ToString std::mem::drop Types: Traits: Functions:

Slide 23

Slide 23 text

Box, Option, Result, String, Vec PartialEq, PartialOrd, Eq, Ord
 AsRef, AsMut, Into, From, ToOwned, Clone, ToString
 Default
 DoubleEndedIterator, ExactSizeIterator Iterator, Extend, IntoIterator
 Copy, Send, Sized, Sync
 Drop, Fn, FnMut, FnOnce
 SliceConcatExt Types: Traits: Ordering things Converting things Default values Marker traits Calling/Dropping objects Concatenate objects
 (like strings or vectors) Iteration

Slide 24

Slide 24 text

Example2 Ranges

Slide 25

Slide 25 text

for i in 0..3 { // do something with i }

Slide 26

Slide 26 text

let range = 0..3; for i in range { // do something with i }

Slide 27

Slide 27 text

let range = Range {0, 3}; for i in range { // do something with i }

Slide 28

Slide 28 text

let range = Range {0, 3}; for i in range { // do something with i }

Slide 29

Slide 29 text

use std::ops::Range; let range = Range { start: 0, end: 3 }; for i in range { // do something with i }

Slide 30

Slide 30 text

use std::iter::IntoIterator;
 use std::ops::Range; let range = Range { start: 0, end: 3 }; let mut iter = IntoIterator::into_iter(range); while let Some(i) = iter.next() { // do something with i }

Slide 31

Slide 31 text

use std::iter::IntoIterator; use std::ops::Range; let range = Range { start: 0, end: 3 }; let mut iter = IntoIterator::into_iter(range); loop { match iter.next() { Some(i) => { /* use i */ }, None => break, } }

Slide 32

Slide 32 text

cargo inspect

Slide 33

Slide 33 text

!33 cargo-install cargo-inspect
 cargo inspect foo.rs

Slide 34

Slide 34 text

Example3 Ranges - Part II

Slide 35

Slide 35 text

for i in 0..=3 { // do something with i }

Slide 36

Slide 36 text

use std::iter::IntoIterator; use std::ops::RangeInclusive; let range = RangeInclusive::new(0, 3); let mut iter = IntoIterator::into_iter(range); loop { match iter.next() { Some(i) => { /* use i */ }, None => break, } }

Slide 37

Slide 37 text

cargo inspect --diff foo.rs,bar.rs !37

Slide 38

Slide 38 text

Example4 Opening Files

Slide 39

Slide 39 text

use std::fs::File; use std::io::Error; fn main() -> Result<(), Error> { let f = File::open("file.txt")?; Ok(()) }

Slide 40

Slide 40 text

use std::fs::File; use std::io::Error; fn main() -> Result<(), Error> { let f = match File::open("file.txt") { Ok(file) => file, Err(err) => return Err(err), }; Ok(()) }

Slide 41

Slide 41 text

use std::fs::File; use std::io::Error; use std::convert::From; fn main() -> Result<(), Error> { let f = match File::open("file.txt") { Ok(file) => file, Err(err) => return Err(From::from(err)), }; Ok(()) }

Slide 42

Slide 42 text

cargo-inspect-vscode

Slide 43

Slide 43 text

More cargo tools! !43 • cargo-expand • cargo-asm • cargo-bloat

Slide 44

Slide 44 text

Rust Playground !44

Slide 45

Slide 45 text

!45 play.rust-lang.org

Slide 46

Slide 46 text

Compiler Explorer !46

Slide 47

Slide 47 text

!47 godbolt.org

Slide 48

Slide 48 text

Lessons Learned • Rust allows for lots of syntactic sugar • It's good to be reminded about that sometimes • Tools help us understand what's going on behind the curtains. !48

Slide 49

Slide 49 text

!49 Now go and build cool things!

Slide 50

Slide 50 text

No content

Slide 51

Slide 51 text

Credits •Stage background from freepik.com designed by starline •Lucy with a Rocket engine •Rustlang MIR documentation •Rust compiler guide !51