はじめに Rustを学んでいると、どうしても型安全性を理解したくなり、積ん読していた「型システム入門*1」を読み始めました。気長に読み進めていくと思います。 型システム入門 −プログラミング言語と型の理論−作者:Benjamin C. Pierce発売日: 2013/03/26メ…