Studiare Programmazione Teoria Lingua

Question

I sono di recente diventati molto interessati a capire e dimostrare gli aspetti (funzionali) i linguaggi di programmazione.

Comunque, come ho immersioni più in profondità, cose come $ \ lambda $ calcolo, teoria delle categorie, e la semantica denotazionale sono un po 'difficile da Grok senza un'adeguata spiegazione.

Ho letto SICP (piuttosto un libro illuminante), ma sto cercando di immersioni più in profondità la teoria della programmazione funzionale. Ci sono libri / blog / siti / you-name-it che avrebbe discutere la teoria dei linguaggi di programmazione funzionali da zero?

Answer 1

Non è facile da trovare i libri che considerano la semantica denotazionale di $ \ lambda $ -calcolo. Una possibilità è:

1. Roberto M. Amadio e Pierre-Louis Curien: domini e Lambda-calcoli

account di tipo teorico-sono più facili da entrare in possesso di:

1. Bob Harper, Fondamenti pratici di Linguaggi di Programmazione (c'è anche un versione stampata ).
2. Benjamin Pierce, Tipi e linguaggi di programmazione .
3. Corso di Frank Pfenning su calcolo e dedurre , penso che anche pubblicato un libro con lo stesso titolo.

Answer 2

Una nuova risposta ad una vecchia domanda . Si potrebbe essere interessati a per i programmatori da Bartosz Milewski. Più in generale, si può guardare a Bartosz Milewski di programmazione Cafe blog.

Answer 3

Questi libri hanno un rating alto e venire su diverse comunità scientifiche:

Tipo Teoria e programmazione funzionale da Simon Thompson.

Struttura e Interpretazione dei programmi per elaboratore