今年はTaPLを割と読み進められていて、型推論をSwiftで実装したり、存在型についてSwiftで考えてみたり している。 そろそろ実際の言語の型システムも読めそうな気持ちになってきたので、なんか読んでみようと思い、一番よく使うSwiftか一番好きなScalaか一番興味があって型システムもイケてそうなRustあたりで迷って、結局Swiftを読んでいる。 これは読みながら書いたメモ。