Scala ist eine statisch typisierte Sprache. Ihr Typsystem ist eines der ausgefeiltesten aller Programmiersprachen, was zum Teil daran liegt, dass es die weitreichenden Konzepte der funktionalen und der objektorientierten Programmierung in sich vereint. Das Typsystem soll logisch umfassend, vollständig und konsistent sein. Es geht über die Beschränkungen des Typsystems von Java hinaus und enthält gleichzeitig Neuerungen, die in Scala zum ersten Mal umgesetzt werden.

Dieses Typsystem kann allerdings am Anfang auch recht einschüchternd wirken, insbesondere, wenn man von einer dynamisch typisierten Sprache wie Ruby oder Python her kommt. Zum Glück sorgt die Typinferenz dafür, dass ein Großteil der Komplexität verborgen bleibt. Meistens muss man sich mit den Einzelheiten nicht beschäftigen, daher möchten wir Ihnen empfehlen, sich keine Gedanken darüber zu machen, dass Sie erst das Typsystem vollständig beherrschen müssten, bevor Sie effektiv mit Scala arbeiten können. Wenn Sie ein Scala-Neuling sind, überfliegen Sie dieses Kapitel vielleicht nur, um zu wissen, wo Sie nachschauen können, wenn später einmal typbezogene Fragen aufkommen.