Studiare la teoria del linguaggio di programmazione

Di recente sono diventato estremamente interessato a comprendere e dimostrare aspetti dei linguaggi di programmazione (funzionali).

Tuttavia, mentre mi tuffo più a fondo, cose come calcolo λ , la teoria delle categorie e la semantica denotazionale sono un po 'difficili da capire senza una spiegazione adeguata.$\lambda$

Ho letto SICP (un libro piuttosto illuminante) ma sto cercando di approfondire la teoria della programmazione funzionale. Ci sono libri / blog / siti / tu-il-tuo-nome che discuteranno da zero la teoria dei linguaggi di programmazione funzionale?

Non è facile venire dai libri che considerano la semantica denotazionale del calcolo . Una possibilità è:$\lambda$

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

Gli account di teoria dei tipi sono più facili da ottenere:

1. Bob Harper, Fondamenti pratici dei linguaggi di programmazione (esiste anche una versione stampata ).
2. Benjamin Pierce, Tipi e linguaggi di programmazione .
3. Il corso di Frank Pfenning sul calcolo e la deduzione , penso che abbia anche pubblicato un libro con lo stesso titolo.

Una nuova risposta a una vecchia domanda . Potresti essere interessato a Teoria delle categorie per programmatori di Bartosz Milewski. Più in generale, puoi dare un'occhiata al blog di Programming Cafe di Bartosz Milewski .

Questi libri hanno voti alti e vengono pubblicati su diverse comunità scientifiche:

Teoria dei tipi e programmazione funzionale di Simon Thompson.

Struttura e interpretazione dei programmi per computer