Mempelajari Teori Bahasa Pemrograman

Baru-baru ini saya menjadi sangat tertarik untuk memahami dan membuktikan aspek-aspek bahasa pemrograman (fungsional).

Namun ketika saya menyelam lebih dalam, hal-hal seperti kalkulus , teori kategori, dan semantik denotasi agak sulit untuk diraih tanpa penjelasan yang tepat.$\lambda$

Saya membaca SICP (buku yang cukup mencerahkan) tetapi saya ingin menyelami teori pemrograman fungsional lebih dalam. Apakah ada buku / blog / situs / nama-Anda-itu yang akan membahas teori bahasa pemrograman fungsional dari bawah ke atas?

$\lambda$

1. Roberto M. Amadio dan Pierre-Louis Curien: Domains dan Lambda-Calculi

Akun tipe-teori lebih mudah diperoleh:

1. Bob Harper, Yayasan Praktis Bahasa Pemrograman (ada juga versi cetak ).
2. Benjamin Pierce, Jenis dan Bahasa Pemrograman .
3. Kursus Frank Pfenning tentang Komputasi dan Pengurangan , saya pikir dia juga menerbitkan buku dengan judul yang sama.

Jawaban baru untuk pertanyaan lama . Anda mungkin tertarik dalam Kategori Teori untuk Programmer oleh Bartosz Milewski. Secara lebih umum, Anda dapat melihat blog Pemrograman Kafe Bartosz Milewski .

Buku-buku ini memiliki peringkat tinggi dan muncul di komunitas ilmiah yang berbeda:

Teori Jenis dan Pemrograman Fungsional oleh Simon Thompson.

Struktur dan Interpretasi Program Komputer