Programlama Dili Teorisinin incelenmesi

Son zamanlarda (fonksiyonel) programlama dillerinin yönlerini anlamak ve kanıtlamakla son derece ilgilenmeye başladım.

Ancak daha derinlere daldığım zaman, hesabı, kategori teorisi ve anlamsal anlambilim gibi şeyleri doğru bir açıklama yapmadan yapmak biraz zor.$\lambda$

SICP'yi (oldukça aydınlatıcı bir kitap) okudum ama fonksiyonel programlama teorisinin derinliklerine dalmak istiyorum. Fonksiyonel programlama dillerinin teorisini en baştan tartışacak herhangi bir kitap / blog / site / siz-isim var mı?

hesabının anlamsal anlambilimini düşünen kitaplarla gelmek kolay değildir . Bir olasılık:$\lambda$

1. Roberto M. Amadio ve Pierre-Louis Curien: Alanlar ve Lambda-Calculi

Tip teorik hesapların ele geçirilmesi daha kolaydır:

1. Bob Harper, Programlama Dillerinin Pratik Temelleri ( basılı bir versiyonu da vardır ).
2. Benjamin Pierce, Türleri ve Programlama Dilleri .
3. Frank Pfenning'in Hesaplama ve Kesinti dersi , aynı başlıkta bir kitap da yayınladığını düşünüyorum.

Eski bir soruya yeni bir cevap . Bartosz Milewski'nin Programcılar için Kategori Teorisi ilginizi çekebilir . Daha genel olarak, Bartosz Milewski'nin Programlama Cafe bloguna bakabilirsiniz .

Bu kitapların puanları yüksektir ve farklı bilimsel topluluklarda karşımıza çıkmaktadır:

Tip Teorisi ve Fonksiyonel Programlama, Simon Thompson.

Bilgisayar Programlarının Yapısı ve Yorumlanması