Typsysteme

statisch

• Kompilierung

dynamisch

• Laufzeit

hybride

• Jit, etc.

Typsysteme sind ein wichtiger Bestandteil von Programmiersprachen. Sie helfen dabei, Programme korrekter und sicherer zu machen.