Pertanyaan yang diberi tag «extensionality»

4
Apa gunanya konversi di lambda calculus?
Saya pikir saya tidak memahaminya, tetapi konversi ke saya sebagai konversi yang tidak melakukan apa-apa, kasus khusus konversi di mana hasilnya hanya istilah dalam abstraksi lambda karena tidak ada apa-apa untuk melakukan, semacam konversi gunanya.ηη\etaββ\betaββ\betaββ\beta Jadi mungkin -conversion adalah sesuatu yang benar-benar mendalam dan berbeda dari ini, tetapi, jika itu …
2
Apakah ada teori eta antara untuk kalkulus lambda?
Ada dua teori utama yang dipelajari dari kalkulus lambda, teori beta dan ekstensi Pasca Lengkapnya, teori beta-eta. Apakah kedua teori ini memiliki di antara, semacam aturan eta menengah yang memberikan teori penulisan ulang yang konfluen? Apakah ada gagasan menarik tentang ekstensionalitas parsial yang sesuai dengannya? Ini adalah pertanyaan kedua yang …
4
Apakah eta-equivalence untuk fungsi-fungsi yang kompatibel dengan operasi seq Haskell?
Lemma: Dengan asumsi kesetaraan eta kita memilikinya (\x -> ⊥) = ⊥ :: A -> B. Bukti: ⊥ = (\x -> ⊥ x)dengan kesetaraan eta, dan (\x -> ⊥ x) = (\x -> ⊥)dengan pengurangan di bawah lambda. Laporan Haskell 2010, bagian 6.2 menentukan seqfungsi dengan dua persamaan: seq :: …
1
Eta ekspansi dalam pola kalkulus lambda
Klop, van Oostrom, dan de Vrijer memiliki kertas tentang kalkulus lambda dengan pola. http://www.sciencedirect.com/science/article/pii/S0304397508000571 Dalam beberapa hal, suatu pola adalah pohon variabel - meskipun saya hanya memikirkannya sebagai kumpulan variabel, misalnya, ((x, y), z), (t, s)). Dalam makalah mereka menunjukkan bahwa jika polanya linier, dalam arti tidak ada variabel dalam …
1
Ekstensionalitas model kalkulus lambda
Saya menerjemahkan buku tentang LISP dan secara alami menyentuh beberapa elemen -kalkulus. Jadi, gagasan ekstensionalitas disebutkan di sana bersama beberapa model λ- kalkulus, yaitu: P ω dan D ∞ (ya, dengan tak terhingga di atas). Dan dikatakan bahwa P ω adalah ekstensional sedangkan D ∞ tidak.λλ\lambdaλλ\lambdaPωPω\mathcal{P}_\omegaD∞D∞D^\inftyPωPω\mathcal{P}_\omegaD∞D∞D^\infty Tapi ... saya melihat …
3
Apakah mungkin untuk menghitung apakah dua fungsi sama ekstensional?
Jika Anda memiliki dua fungsi yang menerapkan algoritma penyortiran yang berbeda, apakah mungkin menyimpulkan dengan kode sumber bahwa keduanya memiliki properti eksternal yang sama? Berarti mereka berdua akan memiliki urutan yang mungkin tidak disortir sebagai input dan memiliki urutan yang diurutkan sebagai output? Dengan cara apa properti eksternal ini dapat …
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.