Here is what Rust gives you

the ability write fast and correct programs with confidence

• Memory safety without garbage collection
• Concurrency without data races
• Zero-cost abstractions
• endless supply of fancy buzzwords

Rust is

• a compiled language
• a very strongly statically typed language
• production-ready
• an amazing open source project
• not just iron oxide but also a fungus

Build high-quality software

• Local reasoning
  • e.g.: Making mutations visible
• Clear interfaces and name-spacing
• Dare to write “risky” code – the compiler has your back

Build low-level software

• No garbage collector
• C-level performance
• Compiler ensures memory safety

Rust use cases

• ripgrep
• Mercurial (hg)
• Firefox

Take ownership

struct Thing(i32);

fn foo(bar: Thing) {}

let x = Thing(42);
foo(x);
// foo(x); // ERROR: x moved into foo

Borrow a reference

fn foo(bar: &Thing) {}

let x = Thing(42);
foo(&x);
foo(&x);

Borrow a mutable reference

fn foo(bar: &mut Thing) {}

let mut x = Thing(42);

foo(&mut x);
foo(&mut x);

Scoping

fn foo(bar: &Thing) {}

let x = Thing(42);
foo(&x);
foo(&x);

// drop(x);

Rust walks a razor’s edge of “overly explicit and annoying” and “overly terse and confusion”.

How well it succeeds at that is subjective.

— Quxxy on /r/rust

Example

#[derive(Deserialize)]
struct Commit { commit_message: String }

let url = "http://whatthecommit.com/index.json";
let msg: Commit = reqwest::get(url)?.json()?;
println!("{}", msg);

Type Systems are great

how you know when you're on the right track

— @mycoliza January 13, 2018

A lot of smart people work on Rust

And they want you to feel smart, too!

Any questions?

Visit rust-lang.org

I am Pascal – @killercup

Slides available at git.io/rust-fb-dev-circle