Di mana saya dapat menemukan semantik operasional struktural kecil langkah dasar untuk penutupan?

8

Penutupan leksikal adalah teknik implementasi dalam bahasa dengan fungsi kelas satu.

Saya tertarik dengan deskripsi operasional sederhana dari penutupan fungsi. Adakah yang tahu deskripsi seperti itu?

reference-request pl.programming-languages semantics compilers Ohad Kammar
sumber
5
Uhm, tanya penasihatmu, penemu SOS?
Andrej Bauer
1
Anda tanpa henti.
Ohad Kammar
1
Apakah ada kesulitan khusus yang mencegah Anda menuliskan SOS langkah kecil sendiri?
Martin Berger
Saya tahu apa yang Anda lakukan!
Andrej Bauer
Saya harap begitu, meskipun pertanyaan ini tidak ada hubungannya dengan itu.
Ohad Kammar

Jawaban:

5

Bab 29 dari Bob Harper buku apa yang Anda cari?

Andrej Bauer
sumber
Tidak. Ini adalah semantik gaya mesin CK standar yang saya kenal. Dari pengetahuan PL-implementasi, saya tahu bahwa memiliki penutupan leksikal adalah praktik standar. Saya bertanya-tanya apakah ada akun semantik yang menyoroti mereka secara formal.
Ohad Kammar
Mungkin Anda bisa mengedit judul & pertanyaan Anda untuk memperjelas apa yang Anda cari?
Martin Berger
2
Tidak, ia harus menulis tesisnya dan berbicara dengan penasihatnya. Atau suruh penasihatnya menggunakan StackExchange.
Andrej Bauer
4

Penutupan membentuk konsep penting yang saya coba ajarkan di kelas Bahasa Pemrograman sarjana saya. Anda dapat menemukan catatan kuliah saya secara online.

Handout 8 menunjukkan semantik langkah besar menggunakan lingkungan dan penutup. Handout 9 menunjukkan cita rasa saya terhadap mesin SECD. (Yang terakhir tidak bekerja dengan baik untuk tujuan pengajaran karena siswa tersesat dalam detail dan tidak mengembangkan intuisi yang baik. Jadi saya beralih ke semantik langkah besar.)

Tidak satu pun dari ini adalah apa yang Anda minta, tetapi mungkin mereka dapat membentuk titik awal?

Uday Reddy
sumber