QUICの中身が分からないから仕様読んでみた

κeenです。先日同期と話しててQUICの中身ってあまり知らないよねってことでQUICの仕様(ドラフト)を読んだのでまとめますね。あまりまとめきれてませんが。

※ドラフトは既に古くなっているのでこのブログの内容は現行では正しくない可能性があります。というか一部既に正しくないことが判明しています。ご注意下さい

後で新しいドラフトを発見したので内容を書き換えました。とりあえずリンクを貼ってあるドラフトの内容までは反映出来ています。

Rustの所有権、ライフタイム、参照、型、しがらみ

κeenです。Rustには所有権やらライフタイムやら参照やらがあって型システムが面倒ですよね。線形(アフィン)と言われてるのに「あれ?」と思う部分もあるので詳しく探っていこうと思います。

尚、この記事は型システムに興味のある人向けです。単にRustを書きたい方に有用な情報があるかは分かりません。

2016-212-14T15:28Z09:00 加筆訂正しました。diffはこちら