type-safe: bezpieczny ze względu na typy > Dodaj do ulubionych | Cecha języka programowania polegająca na braku możliwości wykonywania na obiektach operacji, które nie zostały dla tych obiektów zdefiniowane lub które nie są z tymi obiektami zgodne.