Pertimbangkan daftar yang hanya terhubung sendiri dalam pengaturan fungsional murni. Pujiannya telah dinyanyikan dari puncak gunung dan akan terus dinyanyikan. Di sini saya akan membahas satu di antara banyak kekuatannya dan pertanyaan tentang bagaimana ia dapat diperluas ke kelas yang lebih luas...
Karena saya tertarik pada parser (terutama dalam tata bahasa ekspresi parser), saya bertanya-tanya apakah ada beberapa pekerjaan yang memberikan perlakuan kategorikal parsing. Setiap referensi pada aplikasi teori kategori untuk parsing sangat
Pertanyaan Apa yang baru dalam struktur data murni fungsional sejak Okasaki? , dan jawaban epik jbapple, disebutkan menggunakan daftar perbedaan dalam pemrograman fungsional (sebagai lawan dari pemrograman logika), yang merupakan sesuatu yang baru-baru ini saya minati. Hal ini membuat saya...
Ingat transformasi passing lanjutan (transformasi CPS) yang membawa AAA ke βA:=RRAβA:=RRA\beta A \mathrel{{:}{=}} R^{R^A} (di mana RRR adalah tetap) dan f:A→Bf:A→Bf : A \to B ke βf:βA→βBβf:βA→βB\beta f : \beta A \to \beta B didefinisikan oleh Sebenarnya kita memilikikelanjutan monaddengan satuan...
Dalam Kasus Terburuk Secara Fungsional Murni , Daftar Urut Waktu Konstan Catenable , Brodal et al. hadir pohon seimbang murni fungsional dengan O (1) menyatukan dan O (lg n) menyisipkan, menghapus, dan menemukan. Struktur data agak rumit. Apakah ada pohon pencarian seimbang yang lebih sederhana...
Baru-baru ini saya mencoba menerapkan Aille 's Cedille-Core , bahasa pemrograman minimalis yang mampu membuktikan teorema matematika tentang istilah-istilahnya sendiri. Saya juga telah membuktikan induksi untuk tipe data yang dikodekan dengan λ, yang menjelaskan mengapa ekstensi-nya...
Tindak Lanjut Apa contoh dari Monad yang merupakan Alternatif tetapi bukan MonadPlus? : Anggap adalah monad. Apa hubungan betweem m menjadi alternatif , sebuah MonadPlusCatch dan MonadPlusDistr ? mmmmmmUntuk masing-masing dari enam pasangan yang mungkin, saya ingin memiliki bukti bahwa satu...
Saya punya pertanyaan tentang fungsi murni. Menurut halaman Wikipedia salah satu syarat untuk fungsi murni adalah: Evaluasi hasil tidak menyebabkan efek samping atau keluaran yang dapat diamati secara semantik, seperti mutasi objek yang dapat berubah atau keluaran ke perangkat I / O. Sekarang...
Bayangkan sebuah bahasa pemrograman fungsional yang hanya tipe datanya berupa skalar numerik dan susunan array yang sewenang-wenang. Bahasa tidak memiliki sarana iterasi tanpa batas, jadi yang berikut ini tidak diizinkan: loop eksplisit (tidak banyak digunakan tanpa efek
Kita tahu bahwa beta-equality dari istilah lambda yang diketik adalah mudah untuk dipilih. Diberikan M, N: σ → τ, apakah dapat ditentukan apakah untuk semua X: σ, MX ≃β≃β≃_β
Mungkin sumber utama masalah kinerja di Haskell adalah ketika sebuah program secara tidak sengaja membangun sebongkah kedalaman tak terbatas - ini menyebabkan kebocoran kehabisan memori dan potensi stack overflow saat mengevaluasi. Contoh klasik didefinisikan sum = foldr (+) 0dalam Haskell. Apakah...
Kombinator interaksi telah diusulkan sebagai target kompilasi untuk kalkulus λ sebelumnya. Makalah itu mengimplementasikan kalkulus λ penuh. Diketahui juga bahwa adalah mungkin untuk mengoptimalkan pengkodean interaksi-bersih dari kalkulus-λ untuk subset dari istilah-istilah yang memiliki tipe-EAL....
Saya telah membaca sedikit tentang struktur data berikut: Ideal Hash Tries dari Bagwell Tabel hash Dinamis Larson Pohon merah-hitam Pohon Patricia ... dan saya yakin ada banyak orang lain di luar sana. Saya telah melihat sangat sedikit di mana masing-masing lebih cocok untuk, atau mengapa saya...
Stratego adalah bahasa transformasi pemrograman / Menulis Ulang DSL. Anthony Sloane telah melakukan beberapa pekerjaan melakukan implementasi yang berjalan di Scala . Apa batas teoritis Stratego sebagai bahasa fungsional? (terlepas dari implementasi). Bisakah seseorang menulis ycombinator pesanan...
Apakah ada sistem yang mirip dengan kalkulus lambda yang normalisasi kuat, tanpa perlu menambahkan sistem tipe di
Janin, jika Anda belum pernah mendengarnya, dapat dibaca di sini . Ia menggunakan sistem 'matriks panggilan' dan 'grafik panggilan' untuk menemukan semua 'perilaku rekursi' dari panggilan rekursif dalam suatu fungsi. Untuk menunjukkan bahwa suatu fungsi berakhir, itu menunjukkan bahwa semua...
Sejauh yang saya tahu, fungsi Haskell dengan batasan kelas tipe secara internal dikompilasi ke fungsi dengan argumen tambahan yang menerima kamus dengan implementasi yang diperlukan dari setiap kelas tipe tertentu. Apakah ada kemungkinan lain bagaimana mengkompilasi kelas tipe? Jika demikian, apa...
Saya telah menemukan aplikasi web ini yang memungkinkan Anda menghasilkan teorema gratis untuk jenis tertentu. Teorema yang dihasilkan mengukur lebih dari jenis dan hubungan pada jenis ini. Teorema ini (rumus) adalah teorema yang mana dari teori / sistem logis? Bagaimana sistem ini berhubungan...
Saya telah bermain-main dengan resumptions akhir-akhir ini, sebagian besar dari karya klasik Abramsky Retracing Some Paths in Process Algebra . Mereka cukup licin (pada dasarnya solusi untuk persamaan domain ), dan sangat mengingatkan pada jaringan Kahn.R=I→(O×R)R=I→(O×R)R = I \to (O \times...
Sebagian besar sumber daya mengenai pengertian kategoris dalam pemrograman menggambarkan monad, tetapi saya belum pernah melihat deskripsi kategorik dari monad transformer. Bagaimana transformator monad dijelaskan dalam istilah teori kategori? Secara khusus, saya akan tertarik pada: hubungan...