type safety: bezpieczeństwo typów > Dodaj do ulubionych Zapewnienie, że żaden typ w programie nie zostanie użyty w kontekście, dla którego nie jest przeznaczony.