Bir program yazarken çoğu zaman kendimizi küçük bir tanrı sanırız: değişkenlere ad verir, koşullar koyar, evrenin ne zaman dallanacağını belirler, döngülerle zamanın çarkını çeviririz. Sonra derleyici gelir; bu şiirsel düzeni alır, soğukkanlı bir memur gibi tokenlere böler, ağaçlara asar, kayıtçılara sıkıştırır ve sonunda makinenin anlayacağı emir kipine indirger. Ortaya çalışan bir program çıkar, evet. Ama soru şudur: Çalışan şey, düşündüğümüz şey midir?
Derleyici, insan düşüncesi ile silikon itaat arasındaki tercümandır. Fakat her tercüme gibi masum değildir. Kaynak kodda niyet vardır: fonksiyon adlarında, yorum satırlarında, mimari tercihlerde, bazen de bir satırın utangaç sadeliğinde. Makine kodunda ise niyet değil, yalnızca işlem vardır. İnsan şunu der: Kullanıcı başarısız olursa nazikçe uyar. İşlemci şunu duyar: Karşılaştır, dallan, belleğe yaz, geri dön. Aradaki uçurum, felsefenin eski yarasıdır: anlam ile işaret arasındaki mesafe.
Anlamın Derleme Hattı
Derleme süreci yüzeyde teknik, derinde ontolojiktir. Sözcüksel çözümleme, düşüncenin harflerini parçalar; sözdizimsel çözümleme, onları kurallı bir iskelete yerleştirir; anlamsal çözümleme, bu iskeletin kendi dünyasında tutarlı olup olmadığını denetler. Ardından ara temsil gelir: ne tamamen insan dilidir ne de tamamen makine dili. Bir tür araf. Burada fikir, hâlâ tanınabilir ama artık eski bedeninde değildir. Son aşamada optimizasyon başlar ve derleyici, programcının niyetini değil, gözlenebilir davranışını korumaya yemin eder.
İşte anlam kaybı tam burada keskinleşir. Optimizasyon, mantıken gereksiz olanı siler. Kullanılmayan değişkenler, tekrarlanan hesaplamalar, erişilemeyen dallar yok olur. Makine açısından bu zaferdir; insan açısından bazen hafıza kaybı. Çünkü gereksiz görünen satır, programcının düşünce sürecinin fosili olabilir. Bir yorum, bir isim, bir yapı tercihi gelecekteki okuyucuya şöyle fısıldar: Burada bir karar verildi. Makine bu fısıltıyı duymaz. Onun kulakları yoktur; yalnızca saat darbeleri vardır.
Yine de derleyiciyi suçlamak kolaycılık olur. Derleyici hain değildir; sadakatini yanlış yere değil, kesin olarak tanımlanmış yere sunar. Onun ahlakı biçimseldir: tanımsız davranıştan kaçın, tipleri koru, hedef mimarinin kurallarına uy, sonucu üret. İnsan ise muğlaklıkla düşünür. Bir problemi çözerken yalnızca algoritma kurmayız; önem sırası, estetik, bakım kolaylığı, ekip kültürü ve hatta korkularımız da koda sızar. Derleyici bu psikolojik tortuyu arındırır. Ortaya çıkan makine dili, fikrin iskeletidir; kasları ve yüz ifadesi alınmış bir beden gibi.
Kaybolan Her Şey Kayıp mı?
Burada kışkırtıcı bir ters soru sormalıyız: Belki de derleme, anlamı yok etmekten çok onu sınar. İnsan fikri çoğu zaman sisli ve şişkindir. Derleyici bu sisi sevmez. Ona göre bir düşünce, ancak yürütülebilir hale geldiğinde bedene kavuşur. Bu bakımdan derleyici, acımasız bir Zen ustası gibidir: Bana niyetini anlatma, davranışını göster. Eğer teori makine diline inemiyorsa, belki de henüz teori değil, yalnızca iyi giydirilmiş bir arzudur.
Fakat bu sınavın bedeli vardır. Yüksek seviyeli dilde kurduğumuz soyutlamalar, insan zihninin çalışma biçimine yakın durur. Sınıflar, modüller, desenler, fonksiyonel dönüşümler; bunlar yalnızca teknik araçlar değil, düşünceyi düzenleyen merceklerdir. Makine kodu ise merceği değil, mercekten geçen ışığın sayısal izini taşır. Bu yüzden tersine mühendislik, bir romanın küllerinden karakter analizi yapmaya benzer. Bir şeyler anlaşılır, ama yazarın göz kırpışı çoğu zaman kayıptır.
Derleyici felsefesinin pratik dersi şudur: Kod, yalnızca makineye verilmiş emirler toplamı değildir; insanlara bırakılmış bir düşünce haritasıdır. Derleyici bu haritanın yalnızca yürünebilir yollarını alır, efsaneleri, kenar notlarını ve pusulanın neden kuzeyi gösterdiğine dair hikâyeyi geride bırakır. Bu yüzden iyi programcı, iki okura yazar: makineye kesinlik, insana anlam. Biri hata affetmez, diğeri anlamsızlığı.
Sonuçta derleyici bir mezar kazıcı değil, bir sınır kapısı görevlisidir. Fikirlerimizi makinenin ülkesine geçirirken pasaporttaki süslü cümleleri söker, yalnızca geçerli kimliği bırakır. Anlam kaybı kaçınılmazdır; ama felaket olmak zorunda değildir. Asıl mesele, hangi anlamın makineye gitmesi, hangisinin kaynak kodda nöbet tutması gerektiğini bilmektir. Çünkü çalışan program dünyayı değiştirir; anlaşılır program ise onu değiştirecek bir sonraki zihni çağırır.