Move semantics in rust, C++, and Hylo を読んだ。
- 筆者のHyloの論文を読んだ所感である
- Hyloはプログラミング言語である
- Rustと同様にメモリ安全
- C++, Rust, Hyloの違いを説明している
- 関数の引数に構造体を渡したときコピーするか
- 関数の引数に渡した構造体を以降で使えるか？
- Rustは受渡と借用というプロパティを呼出ルールに付与
- Hyloはlet, set, sink, inoutというプロパティを呼出ルールに付与
一度借用の理論的な背景を整理したい。