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?


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?


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?

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.