Add introduction-to-rust-talk

This commit is contained in:
Wesley Moore 2018-01-21 20:48:04 +11:00
parent 11caab555c
commit eb63287b40
12 changed files with 592 additions and 1 deletions

View file

@ -135,6 +135,9 @@ img.cover-photo
display: block
margin: 0 auto
video
max-width: 100%
body > header
font-family: $ans-serif
font-size: 18px

View file

@ -6,7 +6,7 @@ that brings and how using and promoting these tools can help
with the wider adoption of Rust in the development community. I demonstrated
a selection of such tools.
A video of the talk will be made available, but it's not ready yet.
A [video of the talk is on YouTube](https://www.youtube.com/watch?v=4-H6Hn_i4PQ).
The [slides are available online][slides]. The presenter notes I wrote for
myself are included below.

View file

@ -0,0 +1,25 @@
A couple of weeks ago I gave an introduction to Rust talk at our techa all
hands meeting. The talk was a quick 30 minute introduction to the language that
covered:
* Where the project came from, where it fits, and what it's trying to solve.
* Some of the main features and tools.
* Some core concepts.
* Live coding a little demo program.
You can watch a recording of the talk below, or:
* [Watch on YouTube]
* [Download the video][Download]
* [View the slides online][slides]
* [Check out the code on GitHub][slides-source]
<figure>
<video src="/images/2018/introduction-to-rust-talk.mp4" width="1360" preload="meta" controls="controls"></video>
<figcaption>Introduction to Rust Video</figcaption>
</figure>
[Watch on YouTube]: https://youtu.be/dRXePp1T9ZM
[Download]: /images/2018/01/introduction-to-rust-talk.mp4
[slides]: /technical/2018/01/introduction-to-rust-talk/slides/
[slides-source]: https://github.com/wezm/rust-intro-talk

View file

@ -0,0 +1,11 @@
---
title: Introduction to Rust Talk
extra: "A whirlwind introduction to Rust that I gave at work in two parts: An intro to the language and live coding a little demo program."
kind: article
section: technical
created_at: 2018-01-21 19:59:00.000000000 +11:00
keywords:
- rust
- presentation
- video
short_url:

Binary file not shown.

Binary file not shown.

After

Width:  |  Height:  |  Size: 66 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 338 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 715 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 151 KiB

View file

@ -0,0 +1,99 @@
<!DOCTYPE html>
<html>
<head>
<title>Introduction to Rust</title>
<meta charset="utf-8">
<style>
@import url(https://fonts.googleapis.com/css?family=Yanone+Kaffeesatz);
@import url(https://fonts.googleapis.com/css?family=Lato:400,700,400italic);
body {
font-family: 'Lato', serif;
}
h1, h2, h3 {
font-family: 'Yanone Kaffeesatz', sans-serif;
font-weight: normal;
}
.remark-code, .remark-inline-code {
font-family: 'PragmataPro';
font-size: 32px;
}
.remark-slide-content {
color: #eee;
background-color: #1d1f21;
font-size: 32px;
}
.remark-slide-content h1,
.remark-slide-content h2,
.remark-slide-content h3 {
font-size: 70px;
margin: 0.25em 0 0.5em;
}
.bigger h1 {
font-size: 125px;
}
.remark-slide-content li {
margin: 0.5em 0;
list-style: disc;
}
blockquote {
border-left: 0.2em solid currentColor;
padding-left: 1em;
margin-left: 0.5em;
}
blockquote + p {
margin-left: 0.5em;
}
a {
color: lightblue;
}
img {
max-width: 100%;
}
.ferris {
background-color: #232323;
}
.ferris img {
position: absolute;
bottom: -164px;
left: 335px;
}
.ferris h1,
.ferris h2,
.ferris h3 {
z-index: 1;
}
.segfaults img {
display: block;
max-width: 95%;
margin: 0 auto;
}
.crates img {
display: block;
max-width: 85%;
margin: 0 auto;
}
.invert {
background-color: #eee;
color: #1d1f21;
}
</style>
</head>
<body>
<textarea id="source">
</textarea>
<script src="remark-latest.min.js">
</script>
<script>
var slideshow = remark.create({
ratio: '16:9',
sourceUrl: 'slides.md',
navigation: {
scroll: false
},
highlightStyle: 'tomorrow-night',
countIncrementalSlides: false,
});
</script>
</body>
</html>

File diff suppressed because one or more lines are too long

View file

@ -0,0 +1,435 @@
class: center, middle, ferris
Introduction to Rust
====================
Wesley Moore
------------
![Ferris the Rustacean animation](images/ferris.gif)
---
# Agenda
1. Features
2. Tooling
3. Concepts
4. Demo
5. Questions
---
# Introduction
```rust
fn main() {
println!("Rust Introduction");
}
```
> **Rust** is a systems programming language that runs blazingly fast, prevents
> segfaults, and guarantees thread safety.
— [rust-lang.org](https://www.rust-lang.org/)
---
# Systems Programming Language
* Compiles to native code.
--
* Aims to solve the same sorts of problems that C and C++ are used to solve but
with improved safety.
--
* Also seeing use in:
--
* Web (front and backend)
--
* Operating systems ([Redox OS][redox])
--
* Embedded systems (microcontrollers)
---
# Runs Blazingly Fast
![Benchmarks Chart](images/benchmarks.png)
---
# Runs Blazingly Fast
* No interpreter, no runtime.
--
* Memory safety without garbage collection.
--
* Zero cost abstractions.
---
class: segfaults
# Prevents Segfaults
* No `nil`, `NULL` or other [billion dollar mistakes][billion-dollar-mistake].
![undefined method for nil:NilClass](images/undefined-method-nil.png)
This is not a thing. At all. Ever.
.center[[billion-dollar-mistake]: https://www.infoq.com/presentations/Null-References-The-Billion-Dollar-Mistake-Tony-Hoare]
---
# Guarantees Thread Safety
* Strongly, statically typed with an emphasis on safety and correctness.
--
* Ownership model tracks owner and lifetime of memory.
--
* No data races: Compiler knows which thread owns what data.
--
* This leads to, "[Fearless Concurrency][fearless-concurrency]".
> Mozilla made two previous attempts to parallelize its style system in C++,
> and both of them failed. But Rusts fearless concurrency has made parallelism
> practical!
— [Fearless Concurrency in Firefox Quantum](https://blog.rust-lang.org/2017/11/14/Fearless-Concurrency-In-Firefox-Quantum.html) (Nov 2017)
---
# Strong Static Type System
* Do more at compile time so fewer tests and runtime checks are required.
--
* Concepts mostly familiar. No need to learn an entirely new paradigm.
--
* Traits and generics instead of objects and inheritance.
--
* Type inference reduces the need to provide type annotations.
--
* Refactor with impunity — even in large code bases.
---
# Tooling
Official distribution includes: `cargo`
--
:
* Build tool (no Makefiles)
--
* Package manager (like bundler)
--
* Test runner
--
* Documentation generator
---
## Releases
Generally managed with `rustup`
--
:
* Official toolchain manager (like rbenv)
--
* New releases every 6 weeks
* Committed to backwards compatibility in every release.
---
class: crates
# Crates
* Rust favours a small, stable standard library.
* Crates are the equivalent of Ruby gems. They are published to
[crates.io](https://crates.io/).
![screenshot of crates.io](images/crates-io.png)
---
# Community and Direction
* RFC process.
--
* Systematic improvement.
--
* Emphasis on inclusion and building a friendly community.
---
class: center, middle, bigger
Concepts
========
---
# Functions
```rust
fn add(left: i32, right: i32) -> i32 {
left + right
}
fn main() {
let sum = add(2, 3);
}
```
---
# Conditionals: if
```rust
let temperature: i32 = 29;
if temperature > 25 {
println!("Wesley is happy");
}
else {
println!("Too cold");
}
```
---
# Conditionals: match
Can match structure and values:
```rust
let month = "jan";
match month {
"jan" => 1, "feb" => 2,
"mar" => 3, "apr" => 4,
"may" => 5, "jun" => 6,
"jul" => 7, "aug" => 8,
"sep" => 9, "oct" => 10,
"nov" => 11, "dec" => 12,
_ => panic!("invalid month"),
};
```
---
# Loops
```rust
let numbers = [1, 2, 3];
for i in numbers.iter() {
// do something
}
for i in 0..10 {
// do something
}
```
Also less frequently used commonly used `loop` and `while`.
---
# Functional or Imperative
```rust
fn variance_mean(data: &[f64], mean: f64) -> f64 {
let mut sum = 0.;
for d in data {
sum += (d - mean).powf(2.0);
}
sum / data.len() as f64
}
```
Code from [hydromath] crate by Andrew MacDonald.
---
# Functional or Imperative
```rust
fn variance_mean(data: &[f64], mean: f64) -> f64 {
data.into_iter()
.map(|d| (d - mean).powf(2.0))
.sum::<f64>() / data.len() as f64
}
```
--
You pay _no cost_ for using the higher level style, it compiles to identical
machine code (I checked).
---
# enums
Type that represents one possibility of several variants. Variants may optionally
carry data.
```rust
enum SerialProtocol {
Usb,
Rs485,
Rs232,
I2C,
Spi,
}
```
---
# structs
Type that carries structured data.
```rust
struct Person {
name: String,
age: i32,
favourite_serial_protocol: SerialProtocol,
}
impl Person {
fn name_and_age(&self) -> String {
format!("{} is {} years old", self.name, self.age)
}
}
```
---
# Option
Instead of `nil` and `NULL` there is `Option`.
* Used to represent something that may be absent.
```rust
enum Option<T> {
Some(T),
None
}
```
---
# Result
When something can succeed or fail with an error.
* There are no exceptions in Rust, `Result` is how you handle errors.
```rust
enum Result<T, E> {
Ok(T),
Err(E)
}
```
---
Demo
====
Small tool that will determine a file's type from its extension:
```shell
filetype src/main.rs somefile.rb
```
Should give output like:
```
Rust: src/main.rs
Ruby: src/somefile.rb
```
---
class: center, middle, bigger
Demo
====
---
class: center, middle, invert, bigger
<svg class="rust-logo" xmlns="http://www.w3.org/2000/svg" x="0px" y="0px" width="250px" height="250px" viewbox="0 0 144 144"><path d="M67.743 31.035a3.108 3.108 0 0 1 6.216 0a3.108 3.108 0 0 1 -6.216 0M30.666 59.175a3.108 3.108 0 0 1 6.216 0a3.108 3.108 0 0 1 -6.216 0m74.153.145a3.108 3.108 0 0 1 6.216 0a3.108 3.108 0 0 1 -6.216 0M39.663 63.578c1.43-.635 2.076-2.311 1.441-3.744l-1.379-3.118h5.423V81.16H34.207a38.265 38.265 0 0 1 -1.239-14.607zm22.685 0.601v-7.205h12.914c.667 0 4.71.771 4.71 3.794c0 2.51-3.101 3.41-5.651 3.41zM44.717 102.972a3.108 3.108 0 0 1 6.216 0a3.108 3.108 0 0 1 -6.216 0m46.051.145a3.108 3.108 0 0 1 6.216 0a3.108 3.108 0 0 1 -6.216 0m.961-7.048c-1.531-.328-3.037.646-3.365 2.18l-1.56 7.28a38.265 38.265 0 0 1 -31.911-.153l-1.559-7.28c-.328-1.532-1.834-2.508-3.364-2.179l-6.427 1.38a38.265 38.265 0 0 1 -3.323 -3.917h31.272c.354 0 .59-.064.59-.386V81.932c0-.322-.236-.386-.59-.386h-9.146v-7.012h9.892c.903 0 4.828.258 6.083 5.275.393 1.543 1.256 6.562 1.846 8.169.588 1.802 2.982 5.402 5.533 5.402h16.146a38.265 38.265 0 0 1 -3.544 4.102zm17.365-29.207a38.265 38.265 0 0 1 .081 6.643 h-3.926c-.393 0-.551.258-.551.643v1.803c0 4.244-2.393 5.167-4.49 5.402-1.997 .225-4.211-.836-4.484-2.058-1.178-6.626-3.141-8.041-6.241-10.486 3.847-2.443,7.85-6.047 7.85-10.871 0-5.209-3.571-8.49-6.005-10.099-3.415-2.251-7.196-2.702-8.216-2.702H42.509a38.265 38.265 0 0 1 21.408-12.082l4.786 5.021c1.082 1.133 2.874 1.175 4.006.092l5.355-5.122a38.265 38.265 0 0 1 26.196 18.657l-3.666 8.28c-.633 1.433.013 3.109 1.442 3.744zm9.143.134-.125-1.28 3.776-3.522c.768-.716.481-2.157-.501-2.523l-4.827-1.805-.378-1.246 3.011-4.182c.614-.85.05-2.207-.984-2.377l-5.09-.828-.612-1.143 2.139-4.695c.438-.956-.376-2.179-1.428-2.139l-5.166.18-.816-.99 1.187-5.032c.24-1.022-.797-2.06-1.819-1.82l-5.031 1.186-.992-.816.181-5.166c.04-1.046-1.184-1.863-2.138-1.429l-4.694 2.14-1.143-.613-.83-5.091c-.168-1.032-1.526-1.596-2.376-.984l-4.185 3.011-1.244-.377-1.805-4.828c-.366-.984-1.808-1.267-2.522-.503l-3.522 3.779-1.28-.125-2.72-4.395c-.55-.89-2.023-.89-2.571 0l-2.72 4.395-1.281.125-3.523-3.779c-.714-.764-2.156-.481-2.522.503l-1.805 4.828-1.245.377-4.184-3.011c-.85-.614-2.209-.048-2.377.984l-.83 5.091-1.143.613-4.694-2.14c-.954-.436-2.178.383-2.138 1.429l.18 5.166-.992.816-5.031-1.186c-1.022-.238-2.06.798-1.82 1.82l1.185 5.032-.814.99-5.166-.18c-1.042-.03-1.863 1.183-1.429 2.139l2.14 4.695-.613 1.143-5.09.828c-1.034.168-1.594 1.527-.984 2.377l3.011 4.182-.378 1.246-4.828 1.805c-.98.366-1.267 1.807-.501 2.523l3.777 3.522-.125 1.28-4.394 2.72c-.89.55-.89 2.023 0 2.571l4.394 2.72.125 1.28-3.777 3.523c-.766.714-.479 2.154.501 2.522l4.828 1.805.378 1.246-3.011 4.183c-.612.852-.049 2.21.985 2.376l5.089.828.613 1.145-2.14 4.693c-.436.954.387 2.181 1.429 2.139l5.164-.181.816.992-1.185 5.033c-.24 1.02.798 2.056 1.82 1.816l5.031-1.185.992.814-.18 5.167c-.04 1.046 1.184 1.864 2.138 1.428l4.694-2.139 1.143.613.83 5.088c.168 1.036 1.527 1.596 2.377.986l4.182-3.013 1.246.379 1.805 4.826c.366.98 1.808 1.269 2.522.501l3.523-3.777 1.281.128 2.72 4.394c.548.886 2.021.888 2.571 0l2.72-4.394 1.28-.128 3.522 3.777c.714.768 2.156.479 2.522-.501l1.805-4.826 1.246-.379 4.183 3.013c.85.61 2.208.048 2.376-.986l.83-5.088 1.143-.613 4.694 2.139c.954.436 2.176-.38 2.138-1.428l-.18-5.167.991-.814 5.031 1.185c1.022.24 2.059-.796 1.819-1.816l-1.185-5.033.814-.992 5.166.181c1.042.042 1.866-1.185 1.428-2.139l-2.139-4.693.612-1.145 5.09-.828c1.036-.166 1.598-1.524.984-2.376l-3.011-4.183.378-1.246 4.827-1.805c.982-.368 1.269-1.808.501-2.522l-3.776-3.523.125-1.28 4.394-2.72c.89-.548.891-2.021.001-2.571z"/></svg>
Questions?
==========
---
Credits
=======
* [Animated Ferris][animated-ferris] by A. L. Palmer, via [rustacean.net][rustacean].
* Portions of this talk were derived from [A Very Brief Intro to Rust][rust-intro]
Copyright © 2016 Ashley Williams.
* Benchmarks chart generated from data on [The Computer Language
Benchmarks Game][benchmarks] on 10 Jan 2018.
[rust-intro]: https://github.com/rustbridge/a-very-brief-intro-to-rust
[animated-ferris]: https://www.behance.net/gallery/42774743/Rustacean
[rustacean]: http://rustacean.net/
[fearless-concurrency]: https://doc.rust-lang.org/book/second-edition/ch16-00-concurrency.html
[redox]: https://www.redox-os.org/
[hydromath]: https://github.com/amacd31/hydromath_rs
[benchmarks]: https://benchmarksgame.alioth.debian.org/