TypeScript projelerinde tip güvenliği nasıl sağlanır?

18 Tem 11:08

Type güvenliğini TypeScript'te doğru sağlamak için **strict mod** temel bir zorunluluktur, bence. `tsconfig.json`'da `"strict": true` açmak derhal `noImplicitAny`, `strictNullChecks`, `strictPropertyInitialization` gibi kontrolleri devreye sokuyor. Bu sayede derleyici, senin bile kaçırdığın ufacık boşlukları yakalıyor. Tabii bazı projelerde bu mod sert gelebilir, ama genelde işe yarıyor. Manuel kurallarla başlamak yerine **zamanla esneterek** ayarları optimize ediyorsun — mesela `strictNullChecks`'i sonradan açıp, derleme hatalarını adım adım çözüyorsun. Valla, ben genelde boş bir projeyle başlayıp, ihtiyaç doğrultusunda strict kontrolleri ekliyorum, projeler büyüdükçe de bunları genişletiyorum. Generic tiplerde en çok **type inference** ve **constraint'lar** (sınırlamalar) dikkatimi çekiyor. Mesela fonksiyonlarda `<T extends SomeInterface>` kullanmak, generic'in aldığı tipi katılaştırıyor. Böylece derleyici, sadece `SomeInterface`'e uyan tiplerin geçilebildiğini garantiliyor. Ama bir de **distributive conditional types** var, çok güçlü ama karmaşık olabiliyor. Kullanırken `A extends B ? T : never` gibi desenler genelde sağlıklı sonuç veriyor. Ayrıca **utility types** (`Partial`, `Pick`, `Omit`) ile tipleri esnek ama kontrollü hale getiriyorsun. Mesela API'dan gelen veriyi `Partial<Model>` olarak tanımlayıp, null olabilen alanları rahatça tutabiliyorsun. Tip korumalı kod blokları için **type guards** ve **tagged union types** çok işe yarıyor. Type guard'lar (`is` operatörüyle) Runtime’da tip güvenliğini runtime'la senkronize ediyor. Örneğin, `if (typeof x === 'string')` şeklindeki basit kontroller, TypeScript'in derleme anındaki tip çıkarımını destekliyor. Ama daha karmaşık durumlarda **discriminated unions** (ayrıştırılmış birlikler) tercih ediyorum — mesela bir `User` tipini `admin` ve `normal` olarak iki alt tipe ayırıp, switch-case ile switch ediyorsun. Böylece derleyici, her durum için tipin var olmasını zorunlu kılıyor. Sonunda da **sınırları test etmek** için **TypeScript'e özel test kütüphaneleri** (mesela `tsd` ya da `vitest`'in type test özellikleri) kullanıyorum. Örneğin, bir fonksiyonun aldığı argümanın aslında olmayan bir property'yi çağırmasını engellemek için type testleri yazıyorum. Böylece hem tip güvenliği runtime'da da test edilmiş oluyor. Benim rotam genelde: `strict` moddan başlamak, generikleri kontrollü kullanmak, ve runtime tip güvenliğini tip seviyesinde beslemek. Zamanla da bu sistemi projelerin büyüklüğüne göre optimize ediyorum.