Programlama Dillerinin Temelleri -Essentials of Programming Languages
 | |
| Yazar | Daniel P. Friedman , Mitchell Değnek , Christopher T. Haynes |
|---|---|
| Konu | Programlama dilleri |
| Tür | Ders kitabı |
| Yayımcı | MIT Basın |
Yayın tarihi |
Nisan 2008 (3. baskı) |
| Sayfalar | 416 |
| ISBN | 0-262-06279-8 (3. baskı) |
| LC Sınıfı | QA76.7 .F73 2008 |
Programlama Dillerinin Temelleri ( EOPL ) Daniel P. Friedman , Mitchell Wand ve Christopher T. Haynes tarafından yazılmış programlama dilleri üzerine bir ders kitabıdır.
EOPL, programlama dillerinin ilkelerini operasyonel bir bakış açısıyla araştırır. Bir başlar yorumlayıcı olarak Şema benzer basit bir işlevsel çekirdek dil için lambda hesap ve sistematik yapıları ekler. Kitap, örneğin değişken atama veya zincir benzeri kontrol gibi her ekleme için, programlama dilinin ifade gücündeki bir artışı ve doğrudan bir yorumlayıcının formülasyonu için yeni yapılar için bir talebi gösterir. Kitap ayrıca, sistematik dönüşümlerin, örneğin mağazadan geçme tarzı veya devam ettirme tarzı , belirli yapıları yorumlayıcının formüle edildiği dilden çıkarabileceğini de gösteriyor.
Kitabın ikinci bölümü, tercüman (lar) ın kayıt makinelerine sistematik bir tercümesine ayrılmıştır . Dönüşümler, üst düzey kapanışların nasıl ortadan kaldırılacağını gösterir; devam nesneleri; özyinelemeli işlev çağrıları; ve dahası. Sonunda, okuyucuya, kuyruk özyinelemeli işlev çağrıları ve atama ifadeleri artı koşullardan başka hiçbir şey kullanmayan bir "yorumlayıcı" kalır. Bu kodu bir C programına veya hatta bir assembly programına çevirmek önemsiz hale gelir. Bir bonus olarak kitap, belirli "anlam" parçalarının nasıl önceden hesaplanacağını ve bu ön hesaplamaların bir temsilinin nasıl üretileceğini gösterir. Bu derlemenin özü olduğundan, kitap aynı zamanda okuyucuyu derleme ilkeleri ve ilgili ama farklı bir konu olan dil çevirisi üzerine bir ders için hazırlar. Kitap, temel kavramları açıklayan metnin yanı sıra, okuyucuların alternatif tasarımları ve diğer konuları keşfetmesine olanak tanıyan bir dizi alıştırma da içeriyor.
Gibi SICP , EOPL 1980'lerde hüküm süren ders kitabı yaklaşımdan önemli ölçüde değişti. O zamanlar, programlama dillerinin ilkeleri üzerine bir kitap, dört ila altı (veya hatta daha fazla) programlama dilini sunmuş ve programlama deyimlerini ve bunların yüksek düzeyde uygulanmasını tartışmıştı. En başarılı kitaplar tipik olarak ALGOL 60 (ve Algol programlama dilleri ailesi), SNOBOL , Lisp ve Prolog'u kapsıyordu . Bugün bile, programlama dilleriyle ilgili çok sayıda ders kitabı, kapsamı daralmış olsa da, tam da bu tür anketlerdir.
EOPL, Indiana'nın programlama dilleri araştırmalarında önde gelen bölümlerden biri olduğu 1983'te başladı. Friedman'ın doktora öğrencilerinden biri olan Eugene Kohlbecker, "311 dersini" yazıya döktü ve topladı. Mitch Wand ve Christopher Haynes de dahil olmak üzere diğer öğretim üyeleri katkıda bulunmaya başladılar ve Kohlbecker'in dediği gibi "Otostopçunun Meta-Evren Rehberi" ni şu anda olduğu sistematik, yorumlayıcı ve dönüşüm temelli ankete dönüştürdü. 25 yılı aşkın bir süredir kitap neredeyse klasik hale geldi; türler ve modüller gibi ek konular da dahil olmak üzere şimdi üçüncü baskısında . İlk bölümü , program tasarımının ilkelerini öğretmek için Scheme kullanan başka bir alışılmadık ders kitabı olan HtDP'den programlama üzerine fikirleri içermektedir . Yazarlar ve Matthew Flatt yakın zamanda EOPL ile öğretim için DrRacket eklentileri ve dil seviyeleri sağladılar.
EOPL, en az iki başka ilgili metni ortaya çıkardı: Queinnec'in Küçük Parçalarda Lisp'i ve Krishnamurthi'nin Programlama Dilleri: Uygulama ve Yorumlama .
