Onde posso encontrar uma semântica operacional estrutural elementar de pequenas etapas para fechamentos?

8

Os fechamentos lexicais são uma técnica de implementação em linguagens com funções de primeira classe.

Estou interessado em uma descrição operacional simples do fechamento de funções. Alguém sabe dessa descrição?

reference-request pl.programming-languages semantics compilers Ohad Kammar
fonte
5
Uhm, pergunte ao seu orientador, o inventor do SOS?
Andrej Bauer
1
Você é implacável.
Oade Kammar
1
Existe alguma dificuldade específica que o impeça de escrever um SOS de pequeno porte?
Martin Berger
Eu sei o que você está fazendo!
Andrej Bauer
Espero que sim, embora esta questão não tenha relação com isso.
Ohad Kammar

Respostas:

5

O capítulo 29 do livro de Bob Harper é o que você está procurando?

Andrej Bauer
fonte
Não. Esta é a semântica padrão do estilo de máquina CK com a qual estou familiarizada. Da tradição da implementação de PL, sei que ter fechamentos lexicais é uma prática padrão. Fiquei me perguntando se existe uma conta semântica que os destaque formalmente.
Oade Kammar
Talvez você possa editar seu título e pergunta para esclarecer o que está procurando?
Martin Berger
2
Não, ele deve escrever sua tese e conversar com seu orientador. Ou faça seu consultor usar o StackExchange.
Andrej Bauer
4

Os fechamentos formam um conceito importante que tento ensinar na minha turma de graduação em Linguagens de Programação. Você pode encontrar minhas anotações de aula online.

O Folheto 8 mostra semântica de grandes etapas usando ambientes e fechamentos. O Folheto 9 mostra o meu sabor da máquina SECD. (O último não funcionou muito bem para fins de ensino, porque os alunos se perderam em detalhes e não desenvolveram boas intuições. Então, mudei para a semântica de grandes etapas.)

Nenhuma delas é o que você está pedindo, mas talvez elas possam formar um ponto de partida?

Uday Reddy
fonte