Stark typisiert

Eine Programmiersprache ist stark typisiert, wenn jeder Kennung ein Typ zugewiesen ist. Ist der Typ nicht explizit angegeben, wird er abgeleitet.