TypeScript Dünyasında Hız Devrimi: Derleyiciyi Rust ve Go ile Yeniden Yazma Yarışı

0:00

/0

1×

TypeScript Dünyasında Hız Devrimi: Derleyiciyi Rust ve Go ile Yeniden Yazma Yarışı

Yazılım dünyasında kartlar yeniden dağıtılıyor. Modern web geliştirme sürecinin tartışmasız lideri olan TypeScript, gelişim sürecinin en heyecan verici dönemlerinden birini yaşıyor. Ancak bu heyecanın kaynağı bu kez yeni bir dil özelliği değil; topluluğun yıllardır en çok şikayet ettiği "yavaş derleme ve tip denetimi" sorununu çözmeye yönelik küresel bir teknoloji yarışı.

Büyük ölçekli projelerde çalışan her geliştiricinin hayali tek kelimeyle özetlenebilir: Anında geri bildirim. Peki, tarayıcı dışı araçların (tooling) Rust ve Go gibi sistem dilleriyle yeniden yazıldığı bu yeni dönemde, TypeScript derleyicisi (tsc) bu hız devrimine nasıl ayak uyduracak? Gelin, web ekosistemindeki bu büyük dönüşüme ve TypeScript'i hızlandırmak için geliştirilen gerçek projelere yakından bakalım.

Büyük Projelerin Ortak Derdi: tsc Neden Yavaş?

TypeScript kullanan büyük bir projede çalıştıysanız, şu senaryoya kesinlikle aşinasınızdır: Kodunuzda küçük bir değişiklik yaparsınız, kaydet tuşuna basarsınız ve derleyicinin tip denetimini tamamlamasını saniyelerce beklersiniz. Proje büyüdükçe bu süre dakikaları bulabilir.

Bunun temel sebebi, mevcut TypeScript derleyicisinin (tsc) yine TypeScript (yani nihayetinde JavaScript) ile yazılmış olmasıdır. JavaScript; * Tek iş parçacıklı (single-threaded) çalışır. * Yoğun CPU gücü ve karmaşık grafik algoritmalarına benzer tip ağacı analizlerinde V8 motorunun sınırlarına takılır. * Bellek yönetimi için Çöp Toplayıcıya (Garbage Collector) ihtiyaç duyar; bu da büyük projelerde bellek şişmesine (out-of-memory) ve duraklamalara yol açar.

Web ekosistemi bu darboğazı aşmak için uzun süredir yönünü sistem programlama dillerine çevirmiş durumda.

Web Araçlarında Rust ve Go Rüzgarı

Son yıllarda web araçlarının (bundler, linter, transpiler) kabuk değiştirdiğine tanıklık ediyoruz. JavaScript ile yazılmış eski araçlar, yerlerini Rust ve Go ile yazılmış yeni nesil canavarlara bırakıyor:

• Esbuild (Go): Go diliyle yazılan bu paketleyici, geleneksel paketleyicilerden 100 kat daha hızlı çalışarak web dünyasında ilk kıvılcımı yaktı. Go'nun hafif iş parçacıkları (Goroutine) ve hızlı derlenme yeteneği, bu başarının arkasındaki en büyük güç oldu.
• SWC ve Biome (Rust): Rust diliyle yazılan bu platformlar, Babel ve ESLint gibi araçların yerini alarak kod dönüştürme (transpilation) ve analiz işlemlerini milisaniyeler seviyesine indirdi.
• Oxc (Rust): JavaScript/TypeScript için geliştirilen ve performans sınırlarını zorlayan bu yeni araç seti, saniyede milyonlarca satır kodu parse edebiliyor.

Peki, kodumuzu dönüştürmek (tipleri silip düz JavaScript'e çevirmek) bu kadar hızlanmışken, tip denetimi (type-checking) neden hâlâ yavaş?

Gerçek Kahramanlar: Rust Tabanlı Tip Denetleyicileri

Sadece kodun tiplerini temizlemek (strip types) kolaydır ve bunu Esbuild veya SWC ile anında yapabilirsiniz. Ancak kodun gerçekten tip güvenli olup olmadığını kontrol etmek (type-checking) inanılmaz derecede zor bir işlemdir. Yine de topluluk bu zorluğa meydan okuyor:

1. stc (Speedy Type Checker)

SWC'nin yaratıcısı Keyan Zhang tarafından başlatılan stc, TypeScript tip denetleyicisini tamamen Rust diliyle yeniden yazmayı hedefleyen en iddialı projelerden biridir. Projenin ana hedefi, mevcut tsc denetleyicisine göre 10 ila 100 kat arasında bir hız artışı sağlamaktır. Rust'ın güvenli bellek yönetimi ve gerçek çoklu iş parçacığı (multi-threading) desteği, devasa projelerin tip analizini paralel olarak yapabilmesini mümkün kılıyor.

2. Ezno

Yine Rust ile sıfırdan yazılan Ezno, sadece hızlı bir derleyici olmakla kalmayıp, TypeScript'in mevcut tip sistemini daha da akıllı hale getirmeyi amaçlayan deneysel bir projedir. Statik analiz yetenekleriyle kod henüz çalıştırılmadan olası mantık hatalarını tespit etmeye odaklanır.

Microsoft Neden tscyi Resmi Olarak Yeniden Yazmıyor?

Akıllara şu soru gelebilir: Microsoft neden resmi derleyiciyi Go veya Rust ile sıfırdan yazıp bu sorunu kökten çözmüyor?

Bunun arkasında çok güçlü teknik ve felsefi nedenler yatıyor:

1. İnanılmaz Karmaşıklık (Turing-Complete): TypeScript'in tip sistemi o kadar güçlüdür ki, kendi içinde bir programlama dili gibidir (Turing-complete). Mevcut tsc kod tabanı milyonlarca satırdan oluşur ve on yıllık uç durum (edge case) düzeltmeleriyle doludur. Bunu başka bir dilde %100 uyumlu şekilde yeniden yazmak devasa bir iş gücü gerektirir.
2. "Dogfooding" İlkesi: Microsoft, kendi geliştirdiği dili yine o dille yazmayı (dogfooding) tercih ediyor. TypeScript derleyicisinin TypeScript ile yazılması, dilin kendi sınırlarını test etmesi için en iyi yoldur.
3. Hızlı Güncelleme Döngüsü: TypeScript çok hızlı gelişen bir dil. Eğer derleyici başka bir dilde yazılırsa, yeni dil özelliklerinin derleyiciye eklenmesi ve topluluğun katkı sağlaması zorlaşabilir.

Günümüzdeki Pratik Çözüm: Hibrit Mimari

Resmi derleyici tamamen yeniden yazılana kadar, modern web geliştirme dünyası bu sorunu Hibrit Mimari ile çözüyor:

• Geliştirme Esnasında (Local Dev): Kodumuzu tarayıcıda çalıştırmak için tipleri yok sayan ve sadece kodu dönüştüren Vite, Esbuild veya SWC kullanıyoruz. Bu sayede kodumuz milisaniyeler içinde güncelleniyor (HMR).
• Arka Planda ve CI/CD Süreçlerinde: Tip hatalarını yakalamak için tsc --noEmit komutunu arka planda veya kod sunucuya gönderilirken (CI/CD pipeline) çalıştırıyoruz.

Böylece geliştirme yaparken hızdan ödün vermiyor, canlıya çıkarken de tip güvenliğini korumuş oluyoruz.

Sonuç

TypeScript dünyasında yerel dillere (Rust/Go) geçiş trendi, geliştirici deneyimini (Developer Experience - DX) kökten değiştiriyor. Resmi derleyici tsc yerinde kalsa bile, topluluğun geliştirdiği stc ve Oxc gibi projeler gelecekte tip denetimini de ışık hızına ulaştıracak gibi görünüyor.

Gelecek, hibrit ve çok daha hızlı bir web ekosistemine doğru evriliyor. Biz geliştiriciler ise kahve molalarımızı derleme sürelerine göre ayarlamayı yakında tamamen bırakacağız!

Peki siz projenizdeki derleme sürelerinden memnun musunuz? Sizce TypeScript'in geleceği tamamen Rust/Go tabanlı araçlara mı kayacak? Düşüncelerinizi yorumlarda paylaşın!