- 53 名前：デフォルトの名無しさん mailto:sage [2017/05/27(土) 12:44:23.89 ID:SP+5JLSB.net]
- Valgrindといっても、あれが扱えるのはメモリ関連だけで一般のuse-after-freeは対処できるわけではないよなあ
例えば`hyper::server::response::Response`のようないわゆるsession type（https://deterministic.space/elegant-apis-in-rust.html#session-types）も、
ownershipのおかげで安全性を静的に保証できている
