İlk Python eğitimini açan çoğu kişi doğrudan değişkenlere, döngülere ve somut bir şeyler inşa etmeye geçmek ister

İlk Python eğitimini açan çoğu kişi; doğrudan değişkenlere, döngülere ve somut bir şeyler inşa etmeye geçmek ister. Bu dürtü anlaşılabilir bir durumdur. Ancak Python'un gerçekte ne olduğunu ve altındaki makineyle nasıl bir ilişkisi olduğunu anlamak için durup düşünürseniz, gelecekteki kodlarınızdaki hataları çok daha az kafa karışıklığıyla ayıklayabilirsiniz. Programlama dillerinin hepsi aynı değildir. Farklı soyutlama seviyelerinde bulunurlar, kontrolü kolaylık karşılığında farklı şekillerde takas ederler ve işlemciye farklı yollarla ulaşırlar. Python, bu ekosistemde çok özel bir noktada yer alır. Bu noktayı anlamak, programlamayı öğrenmeye yönelik ilk gerçek adımdır.

Dil Hiyerarşisi: Python Nerede Yaşar

Programlama dilleri, donanıma yakınlıklarına göre genel olarak üç kategoriye ayrılır.

Yüksek seviyeli diller silikona en uzak noktada yer alır. Python, Java ve JavaScript ile birlikte burada bulunur. Bu diller, insan diline benzeyen bir sözdizimi (syntax) kullanır. Bellek adresleri ve ikili (binary) talimatlarla boğuşmak yerine user_count = 5 veya print("Hello") yazarsınız. CPU, bellek yönetimi ve yonga seti (chipset) farklılıklarının ayrıntılarını soyutladıkları için, aynı yüksek seviyeli kod genellikle çok az değişiklikle veya hiç değişiklik yapılmadan bir Mac, Windows PC veya Linux sunucusunda çalışabilir.

Bu taşınabilirliğin bir bedeli vardır. Yüksek seviyeli diller bir çevirmen gerektirir. Bir işlemci üzerinde doğrudan çalışamazlar. Okunabilir kodunuz ile makinenin elektriksel sinyalleri arasındaki boşluğu doldurmak için bir derleyiciye (compiler) veya bir yorumlayıcıya (interpreter) ihtiyacınız vardır. Avantajı ise geliştirme hızıdır. İlk günden itibaren yararlı programlar yazabilmek için doğrudan donanım kontrolünden feragat edersiniz.

Düşük seviyeli diller ise zıt uçta yer alır. Bunlar esasen makine kodudur; yani işlemcinin doğrudan anladığı ham birler ve sıfırlar dizisidir. Makine kodu yazmak, çipin kendisi gibi düşünmek demektir. Hangi bellek adresine erişileceğine ve hangi CPU yazmacının (register) belirli bir değeri tutacağına tam olarak siz karar verirsiniz. Donanım, anında ve sıfır çeviri yüküyle komutları yerine getirir.

Bedeli ise korkunç bir karmaşıklıktır. Basit bir toplama işlemi bile birkaç yazmacın manuel olarak yönetilmesini gerektirebilir. Tek bir hatalı bit, hiçbir yardımcı hata mesajı vermeden tüm sistemin çökmesine neden olabilir. Saf makine kodu artık neredeyse hiç elle yazılmasa da, her programın konuşmak zorunda olduğu nihai dil olmaya devam eder.

Assembly dilleri dar bir orta alanda yer alır. İkili talimatların yerine "mnemonic" (hatırlatıcı) adı verilen kısa, insan tarafından okunabilir semboller koyarlar. Bir dizi bir ve sıfır yerine, veri taşımak için MOV veya toplama işlemi yapmak için ADD yazabilirsiniz. Bu sembolleri hatırlamak ham ikili sistemden daha kolaydır, ancak belirli bir işlemci mimarisine sıkı sıkıya bağlı kalırlar. Bir Intel x86 çipi için yazılmış bir assembly programı, bir ARM işlemcisinde çalışmayacaktır.

Bir assembler (birleştirici), bu sembolleri makine koduna dönüştürür. Assembly, programcılara Python'un sağlayabileceğinden çok daha fazla kontrol sağlar, ancak işlemcinin iç işleyişine dair derin bir bilgi gerektirir. İkili sistemden insan düşüncesine daha yakındır, ancak yine de işlemcinin yerel lehçesini konuşur.

Kod Nasıl Eyleme Dönüşür

Her program eninde sonunda makine talimatlarına dönüşmelidir. Kaynak koddan çalışan uygulamaya giden yol, iki stratejiden birini izler.

Bir derleyici (compiler), tüm kod tabanınızı tek bir geçişte çevirir. Ona yüz satırlık bir dosya verirseniz, herhangi bir şeyi çalıştırmayı denemeden önce tüm yüz satırı okur ve analiz eder. Tüm program boyunca sözdizimi hatalarını tarar. Elli. satırda bir yazım hatası mı buldu? Derleyici durur, sorunu bildirir ve siz düzeltene kadar çalıştırılabilir bir program üretmeyi reddeder.

C ve C++ gibi diller bu yaklaşımı kullanır. Sonuç genellikle ham hız için optimize edilmiş, bağımsız bir yürütülebilir (executable) dosyadır. Derleyici tüm kod tabanını en başta titizlikle incelediği için, program daha başlamadan hata sınıflarını yakalar. Buradaki ödün, süreçteki hantallıktır. Düzenle-derle-çalıştır döngüsü zaman alır. Tek bir satırı değiştirirseniz, tüm projenin yeniden derlenmesini beklemek zorunda kalabilirsiniz.

Bir yorumlayıcı (interpreter) ise temelden farklı bir yaklaşım benimser. Kodunuzu satır satır okur, ilerlerken her ifadeyi çevirir ve yürütür. Tüm dosyanın incelemeden geçmesini beklemez. Python REPL'e bir komut yazın, Enter'a basın ve yorumlayıcı o tek satırı işler, talimatlara dönüştürür ve hemen çalıştırır.

Bu, hata ayıklama sürecinin dokusunu değiştirir. Bir yorumlayıcı ile hatalar, yorumlayıcı sorunlu satıra ulaştığında ortaya çıkar, daha önce değil. Programınız seksen satır boyunca mükemmel bir şekilde çalışabilir ve ardından seksen birinci satırda çökebilir. Bu anındalık, yorumlayıcıları öğrenme süreci için daha kullanıcı dostu kılar. Deney yapar, sonuçları görür ve gerçek zamanlı olarak ayarlamalar yaparsınız. Python'ın standart uygulaması olan CPython, aslında hibrit bir model kullanır: kaynak kodunuzu bytecode'a derler ve ardından bu bytecode'u bir sanal makine aracılığıyla yürütür. Arka planda bir çeviri adımı olsa da, etkisi etkileşimli ve satır satır ilerliyormuş gibi hissettirir.

Python Neden Bir Betik Dili (Scripting Language) Olarak Adlandırılır

Python genellikle bir betik dili olarak tanımlanır. Bu etiket, Python'ın kökenlerini ve tipik kullanım durumlarını yansıtır. Bir görevi otomatikleştiren, metni işleyen veya ayrı programları birbirine bağlayan kısa bir dosya —bir betik (script)— yazarsınız ve onu doğrudan çağırırsınız. Yorumlayıcı, çeviri işlemini anlık olarak gerçekleştirir. Yönetilmesi gereken ayrı bir derleme adımı veya takip edilmesi gereken derleme çıktıları (build artifacts) yoktur.

Betik dilleri ile genel amaçlı programlama dilleri arasındaki çizgi oldukça belirsizleşmiştir. Python artık devasa web uygulamalarına, veri bilimi iş akışlarına (pipelines) ve makine öğrenimi sistemlerine güç vermektedir. Yine de temel fikir geçerliliğini korur. Bir derleme sistemini yönetmek yerine bir sorunu çözmeye odaklanırsınız. Yorumlayıcı, siz istediğiniz anda talimatlarınızı yürütmek için hazır bekler.

Kalıcı Bir Temel Oluşturmak

Bu ayrımlar akademik bilgilerden ibaret değildir. Python yazmaya başladığınız ilk hafta karşılaşacağınız davranışları açıklarlar. Python çalışma sırasında bir SyntaxError verdiğinde, yorumlayıcının çeviremediği bir satıra ulaştığını artık anlarsınız. Python'ın belirli görevler için C'den daha yavaş olduğunu okuduğunuzda, yorumlama ve üst düzey soyutlamanın getirdiği ek yükü (overhead) anlarsınız. Betiklerinizin yanında .pyc dosyalarının belirdiğini fark ettiğinizde, Python'ın her çalıştırmada metin dosyanızı yeniden yorumlamak zorunda kalmaması için derlenmiş bytecode'u önbelleğe aldığını fark edersiniz.

Python'ın dil hiyerarşisindeki yerini bilmek, ileride doğru aracı seçmenize de yardımcı olur. Her CPU döngüsünün önemli olduğu bir aygıt sürücüsü (device driver) yazmanız mı gerekiyor? Muhtemelen C veya assembly'ye başvuracaksınız. Bir öğleden sonrasında bir CSV dosyasını işlemeniz veya bir web API'si oluşturmanız mı gerekiyor? Python'ın yorumlayıcısı ve okunabilir söz dizimi tam olarak bunun için tasarlanmıştır.

Asıl Çıkarılması Gereken Ders

Python'ın gücü konumundan gelir. Donanımın çok üzerinde süzülür; makine hızından ziyade programcı hızına değer veren bir yorumlayıcı tarafından çevrilir. Bu arka plan bilgilerinin hiçbirini bilmeden söz dizimini öğrenebilirsiniz, ancak alttaki mekanizmayı anlamadan akıllıca hata ayıklama yapamaz veya sezgisel olarak optimizasyon gerçekleştiremezsiniz. Bu temellerle başlayın. İlk gerçek programınızı yazdığınızda, sadece komut yazıyor olmayacaksınız. Bu komutların makineye tam olarak nasıl ulaştığını bileceksiniz.