Rustを布教したい

Transcript

1. Rustを布教したい (来年も)学部２年　　　　　　　　　　　　　　　　　　　　　　　 harukun
2. 自己紹介 { name: 能島明希 handle: harukun origin: 広島->岡山->大阪->東京->会津 tech: { front-end: React+TS backend: Rust, Go etc: Rust, Haskell Rust: Rust } favorites: Game, Tobacco, BoyScout, Rust, Neovim Twitter(x): https://twitter.com/pieceofharuki Blog: https://zenn.dev/haru_blog }
3. Rust書いたこと、ありますよね？？？
4. 簡単な説明 Rustとは Rustは、Mozillaが開発したオープンソースのプログラミング言語です。 • 安全性: Rustは、メモリ安全性を保証する独自のメモリモデルを持っています。これにより、セグメンテーション フォルトやバッファオーバーフローなどのメモリ関連のバグを防ぐことができます。 • 高速性: Rustは、ゼロコスト抽象化と呼ばれる手法により、高性能なコードを生成することができます。 • 並行性: Rustは、並行プログラミングをサポートする機能が充実しています。これにより、マルチコアプロセッサを フル活用することができます。 By Gemini ※補足 静的型付け、式ベース、手続型・関数型(オブジェクト指向)、Cよりも安全でCと同じくらい早い
5. いいところ • 所有権 • 型システム • パターンマッチ • エコシステム（Cargo）
6. 所有権 メモリの安全性を保証するための Rustの大きな特徴の一つ • 各値は所有者と呼ばれる変数と対応する (値を束縛する、という) • 一度に存在できる所有者は一つだけ（ let s2 = s1で、メモリを２倍消費することがない） • 所有者がスコープを外れると値は破棄される • 所有権を移動させずに値にアクセスするために参照・借用を使う（関数の引数に参照をとることを借用と いう） • 可変参照はスコープ内で一つだけという制約がある
8. 型システム • 強い静的型付け（制約が強い） さっきの参照も全て別の型として区別される (self, &self, mut self, &mut self …) • 豊富な型 ex. enum, Option Result, • 強力な型推論 • Trait
9. Trait • Haskellでいう型クラス • 型に対して共通の振る舞いを定義できる • ジェネリクスに対して指定できる • ジェネリクスに対して実装できる（プリミティブ型含む）
11. パターンマッチ
12. Cargo べんり
13. Rustのキショいコードをみてニヤニヤしようの会
14. aの型はユニット　()←これ => 式ベースなので、{let b = 1}というブロックも()という値を返す c = 1という代入も式なので、aと同じ型（ユニット）になる aにc=1を代入できる aの型はなんでしょう？
15. 実行結果はどうなるでしょう？ 結果 1, 11, 2, 12, 3, 13, 4, 14, 5, 15
 mapが内部で処理の中間状態を表すMap構造体を作成して いる
 Mapを生成する時にMap::new(self, f)のようにselfを巻き込む ため、mapを2回呼び出すと再起的な構造になる
 ちなみにmapはイテレータを生成するだけなので計算は collect()を読んだ時に行われる（遅延評価）

16. このコード、動くかな？ 関数（クロージャ）にも型があるよ でもそれはコンパイル時に内部的に作られるものだから人間には扱えないよ だからクロージャを扱うための Traitが生えてるよ！ …なら、ジェネリクスな型にTraitを実装する時に制約として使えるはずだよ ね？？？
17. さらに進化させてみたよ 任意の数値型を受け取って２倍する関数 double 定義したTraitは、任意の数値型を受け取って implで実装す るOutputを返すよ 型パズルをコネコネすると、任意の数値型を受け取って２倍 する関数が作れたよ（なお実用性）
18. 結論 みんなRustかこう！！！！！！！ Traitを極めるとこんなコードをかけるよ