Swift dikenal sebagai bahasa yang strongly typed. Jelaskan secara teoretis apa yang dimaksud dengan Type Safety dan bagaimana Swift menerapkannya untuk mencegah error. Diskusikan juga konsep Type Inference, bagaimana kompiler Swift dapat menyimpulkan tipe data suatu variabel atau konstanta tanpa harus menyebutkannya secara eksplisit, dan bagaimana kedua konsep ini bekerja bersamaan untuk membuat kode yang lebih aman namun tetap ringkas.