Google: Go, yapay zekâ destekli yazılım mühendisliği için ideal bir dil

Yapay zekâ kod asistanları ve ajanları modern yazılımın giderek daha büyük bölümünü üretirken, bir yazılım mühendisinin işinin ağırlık merkezi kod yazmaktan kodu okumaya, doğrulamaya ve bakımını yapmaya kaydı. Google'ın geliştirici blogunda 11 Ağustos'ta yayımlanan yazıda Go ekibi, bu kaymanın programlama dili seçimini daha az değil, daha önemli hale getirdiğini savunuyor.

Yazmaktan incelemeye

Diller tarihsel olarak yazma kolaylığına göre değerlendirilirdi, diyor yazı. Bir ajan saniyeler içinde yüzlerce satır sözdizimsel olarak geçerli kod üretebildiğinde, insanın yazma hızı artık belirleyici değil; önemli olan kişinin yazılmış kodu ne kadar hızlı inceleyebildiği, doğrulayabildiği ve bakımını yapabildiği. Go tam da bunun için tasarlandı: Rob Pike, Robert Griesemer ve Ken Thompson dili yirmi yılı aşkın süre önce Google'da, yazılım mühendisliğinin hizmetinde bir dil tasarımı fikriyle oluşturdu. Programlama ile mühendislik aynı şey değil — mühendislik, zamanla evrilen dayanıklı sistemleri başkalarıyla birlikte tasarlayıp kurmaktır.

Yalnızca dil değil, platform

Go uçtan uca bir araç zinciriyle geliyor: yerleşik biçimlendirici, test çerçevesi, bağımlılık yönetimi ve güvenlik araçları, ayrıca karmaşık dış çerçevelere ihtiyacı ortadan kaldıran kapsamlı bir standart kitaplık. Yazıya göre yapay zekâ ile insanların ihtiyaçları şaşırtıcı biçimde benzer: dış doğrulama olmadan art arda refaktör yapan bir ajan hızla bozulur; hata oranı turlar boyunca birikir ve bağlam penceresini kirletir. Go'nun araç zinciriyle modeller daha hızlı, daha ucuz ve daha güvenilir çalışır. Go geliştiricilerinin büyük çoğunluğu aynı temel araçları kullandığı için ekosistem birlikte hareket eder; bu tekdüzelik dil modelleri için daha temiz ve standart eğitim verisi de üretir.

Tasarım gereği okunabilir ve güvenilir

Go, okunabilirliği yazılabilirliğin önüne koyar. Yerleşik gofmt tek bir biçimi zorunlu kılar; kıdemli bir mühendisin, yeni bir katkıcının ya da bir dil modelinin yazdığı kod aynı görünür ve insan inceleyici uydurma bir API çağrısını, mantık hatasını veya güvenlik açığını daha hızlı fark eder. Statik tip sistemi otomatik bir güvenlik ağı işlevi görür: var olmayan bir metot, yanlış bir tip ya da başlatılmamış bir değişken derlenmez ve Go'nun hızlı derlemesi ajanın kendi kendini düzeltme döngüsünü sıkı tutar. Standart kitaplık eski üçüncü taraf bağımlılıklara yönelimi azaltırken sağlama toplamı veritabanı ve govulncheck yazılım tedarik zincirini korur; yerleşik testler ve yerel fuzzing mantığı öngörülemeyen girdilere karşı sağlamlaştırır.

Uzun vade için kurulmuş

Bakım aşaması için Go'nun uyumluluk taahhüdü geçerli: Go 1.0 için yazılmış kod en yeni araç zinciriyle derlenmeye devam ediyor ve hiçbir zaman Go 2.0 çıkmayacak; derleyici tek bir statik ikili üretiyor ve çapraz derleme yapabiliyor. gopls ile modernizer'lara sahip yeniden inşa edilen go fix, eski kalıpları tüm kod tabanında belirlenimci biçimde günceller; yerleşik profilleme, yürütme izleme ve profile-guided optimization ise gerçek üretim verisini derlemeye geri besler. Sonuç: yapay zekâ, güçlü korkuluklara ihtiyaç duyan, son derece üretken bir takım arkadaşı — ve Go büyük ölçekli, uzun vadeli işbirliği için tasarlandı.