今回は，Scalaの型システムの概要やそれに関連した機能を紹介します。特にScalaのクラス階層とJavaのクラス階層の違い，Genericsの共変と反変，Existential Type，Structural Type，Compound Typeについて紹介します。