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

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?

— Ohad Kammar
sumber

Uhm, tanya penasihatmu, penemu SOS?

— Andrej Bauer

Anda tanpa henti.

— Ohad Kammar

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:

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

Tidak, ia harus menulis tesisnya dan berbicara dengan penasihatnya. Atau suruh penasihatnya menggunakan StackExchange.

— Andrej Bauer

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