- Rust LT #2 に参加してきました。
- Rust書いたことなくて難しかったですがいい刺激になりました。Rustでなにか書いてみようと思いました。
| タイトル | 発表者 |
|---|---|
| Rustを支えるインタープリター | qnighy |
| Rust の安全性を数学的に証明する 〜最新の研究から学ぶ形式手法と Rust の基礎〜 | shiatsumat |
| lopdfの話 | skoji |
| Rust でクロスコンパイルして Raspberry Pi Zero W で動かす | legokichi |
| インタプリタを作ってまなぶRustらしい書き方 | yuki toyoda |
| Rust 2018とは？〜安定した進化の真の意味〜 | Pyry Kontio |
| この場で使う！Rust 〜アルゴリズムの実装を通して感じる使いやすさ〜 | kenkoooo |
Rustを支えるインタープリター
- qnighyさん
miri
- MIRインタプリタ
- unsafeコードを実行できる
miriを使う1
- https://github.com/solson/miri
- miriでrustのコードを動かすことができる
miriを使う2
- https://play.rust-lang.org
- constと書くと動く
Chalk
- トレイトロジックソルバー
- https://github.com/rust-lang-nursery/chalk
- Prolog風ソルバー
まとめ
Rust の安全性を数学的に証明する 〜最新の研究から学ぶ形式手法と Rust の基礎〜
- shiatsumatさん
Rustをどう噛み砕くか
- Rustを単純化したミニマリスティックな言語を一から作る
rustbelt
lopdfの話
- skojiさん
lopdf
- pdfライブラリ
- html.cssをpdfに変換するサービスで使った
- C++のコードはできるだけ書きたくない
- C++からRustを呼ぶ
- データもJSからC++に渡してそれをRustに流す
- https://crates.io/crates/lopdf
- https://github.com/J-F-Liu/lopdf
Rust でクロスコンパイルして Raspberry Pi Zero W で動かす
- legokichiさん
どこでRust
- iotと相性がいい
- iosデバイスをk8sで管理する時代
- https://github.com/virtual-kubelet/virtual-kubelet
インタプリタを作ってまなぶRustらしい書き方
- yuki toyodaさん
インタプリタとは
- ソースを解析して抽象構文木をつくる
- 木を解析して実行内容を評価する
Rust 2018とは？〜安定した進化の真の意味〜
- Pyry Kontioさん
Rustのブログのバズワード
- Stability as a Deliverable
- 安定性もRustが提供する機能の一つ
- Stability without Stagnation
- 常に進化をする
Rust 2018
- 2018/12リリースする新しいバージョン
- Rust2015と交換性100%
この場で使う！Rust 〜アルゴリズムの実装を通して感じる使いやすさ〜
- kenkooooさん
