Todo

• Rust - A taste of dependent types
• Dependently Typed Programming in Agda
• Why do slices in a structure require a lifetime, but not vectors?
• Rust to JS with Emscripten
• Rust’s decltype ?
• Wikipedia - Composition over inheritance

Books

• Learning Rust With Entirely Too Many Linked Lists

• Rust for C++ Programmers

• Choosing your Guarantees

  • original : http://manishearth.github.io/blog/2015/05/27/wrapper-types-in-rust-choosing-your-guarantees/

• Unsafe

• “const” and “static”

• The Rust Containers and Iterators Guide

• The Advanced Rust Programming Language

Types

• How Do Types Affect Productivity and Correctness? A Review

brorrow

• Holy std::borrow::Cow! – Redux
• Rust for C++ programmers - part 5: borrowed references

Docs

• PhantomData

• Cell

  • Shareable mutable containers.

• boxed

  • A pointer type for heap allocation.
  • https://github.com/rust-lang/rust/blob/master/src/doc/trpl/box-syntax-and-patterns.md
  • https://doc.rust-lang.org/std/boxed/struct.Box.html

Operator Overloading

• Rust - std::ops

RFCs

• DST

Misc

• Felix Klock II - Rust: Safe Systems Programming with the Fun of FP

• 傳教文

  • http://eggfan.org/2585

Question

• Python decorator like in Rust ?

• a function return a function or value (in enum ?)

• 什麼時候會 move ? heap 的話呢 ?

• who is non-copyable ?

  • euler.skip(1000-1) => this will move, non-copyable, why ?

• stack check detail ?

• gnerated assembly

• tutorial from stack / heap status

• ownership in mind programming

• memory layout

• tutorial with assembly

• Any type’s pattern matching ?

• repr

• Why Rust?

  • http://www.steveklabnik.com/nobody_knows_rust/

Things

• pub
• mod
• extern crate std;
• prelude

Tips

• wants to know the type of a variable in Rust ?

let () = asd;

Notice

• 變數預設是不能更動的，要更改需要加上 mut
• Rust 的 reference 在 caller 跟 callee 都需加上 “&”，藉此可以確定自己在用 pass by reference
• 預設使用 jemalloc