Eyni kod fərqli tiplərlə işləyə bilər və tip təhlükəsiz (type-safe) etmək üçün istifadə olunan bir mexanizmdir.