プログラミング言語 I(型システム)

言語を横断する型システムの設計概念を学びます。静的型付けと動的型付け、強い型付けと弱い型付け、型推論、公称型と構造的型、ジェネリクス、null安全などを扱います。