Estudo da teoria da linguagem de programação

15

Recentemente, fiquei extremamente interessado em entender e provar aspectos de linguagens de programação (funcionais).

λ

Eu li o SICP (um livro bastante esclarecedor), mas estou procurando aprofundar a teoria da programação funcional. Existe algum livro / blog / site / nome-do-it que discuta a teoria das linguagens de programação funcional desde o início?

Daniel Gratzer
fonte

Respostas:

10

Não é fácil encontrar livros que considerem a semântica denotacional de λ-cálculo. Uma possibilidade é:

  1. Roberto M. Amadio e Pierre-Louis Curien: Domínios e Lambda-Calculi

As contas da teoria do tipo são mais fáceis de obter:

  1. Bob Harper, Fundamentos Práticos de Linguagens de Programação (também há uma versão impressa ).
  2. Benjamin Pierce, Tipos e Linguagens de Programação .
  3. No curso de Frank Pfenning sobre computação e dedução , acho que ele também publicou um livro com o mesmo título.
Andrej Bauer
fonte
Fui com Domains and Lambda-Calculi, bem como Design Concepts in Programming Languages(grossa, mas vale a pena até agora)
Daniel Gratzer