Kleine Einführung zum Thema Typen Systeme in Programmiersprachen