Lean 4 ile geliştirilen yeni araç altyapı hatalarını derleme anında yakalıyor

Lean 4 programlama diliyle geliştirilen deneysel kod olarak altyapı aracı infra, bulut kaynaklarının dağıtımında yapılan yapılandırma hatalarını çalışma zamanı yerine derleme anına taşıdı. İki hafta sonunda hazırlanan ve 18 bin satır kod içeren araç, Terraform benzeri bir uzlaştırma döngüsünü bağımlı tipler desteğiyle çalıştırıyor. Sistem; üç farklı bulut sağlayıcısı ve 14 kaynak türü üzerinde geçersiz bölge, hatalı kaynak referansı veya uyumsuz sunucu tipi gibi yaygın hataları doğrudan derleyicide engelleyebiliyor.

Sistemin temel mimarisinde kaynak referansları düz metin yerine doğrudan tür bilgisi taşıyan değerler olarak tanımlanıyor. Bu yaklaşım sayesinde AWS veya Scaleway üzerinde bulunmayan bir bölge ya da sunucu boyutu girildiğinde derleyici hesaplama yaparak işlemi durduruyor. Ayrıca zorunlu parametreler eksik bırakıldığında nesne tam bir değere dönüşemediği için eksik konfigürasyonların planlama aşamasına geçmesi imkansız hale geliyor. Hassas verilerin durumu ise özel tür sınıfları ile korunarak durum dosyalarına veya log çıktılarına düz metin olarak sızması önleniyor.

Araç, kaynaklar arasındaki bağımlılık sıralamasını el ile yazılan kurallar yerine referans ilişkilerini analiz ederek otomatik olarak çıkarıyor. Bilinmeyen çalışma zamanı değerlerinin kaç adet kaynak oluşturulacağını belirlemesine izin vermeyen tip sistemi, planlama hatalarını tamamen ortadan kaldırmayı amaçlıyor. Geliştirici, zengin ekosistemi nedeniyle Terraform'un mevcut kullanımının sürdüğünü belirtirken, bağımlı tiplerin getirdiği güvenlik garantilerinin modern altyapı araçlarına uyarlanabileceğini vurguladı.