Pertanyaan yang diberi tag scheme

Apakah kesetaraan kontekstual dari suatu bahasa dengan `quote`-`eval` sepele atau tidak?

Dalam [1], Mitchell Wand menunjukkan bahwa menambahkan fexprs ke kalkulus lambda murni meremehkan teori kesetaraan kontekstual, yang berarti dua istilah setara secara kontekstual jika mereka -congruent. Ketika menjelajahi pekerjaan terkait, ia pergi "hasil kami memperluas pengamatan lama Albert...

Dapatkah panggilan / cc Skema menerapkan semua struktur aliran kontrol yang dikenal?

Halaman "Skema Lanjutan: Beberapa Bit Nakal" menyatakan: Lanjutan adalah konstruksi aliran kontrol yang kuat dari mana hampir semua struktur aliran kontrol lainnya [...] dapat diturunkan. Saya berpikir bahwa Skema ini call/cc, yang terkait (*) ke operator J Peter Landin ini, dapat digunakan...