Ασφάλεια Τύπων Εξαγμένη vs. Δηλωτική Δυναμική vs. Στατική Ισχυρή vs. Αδύναμη Ονομαστική vs. Δομική Εξαρτώμενοι τύποι Duck typing Κρυμμένοι τύποι |Γραμμικοίτύποι Σύστημα τύπων μοναδικότητας