Pertanyaan yang diberi tag «functional-programming»

Saya perlu menyimpan set elemen tipe a. Ketik sebagian memerintahkan, sehingga membandingkan dan sebuah 2 dapat kembali lebih kecil, lebih besar, sama atau tak tertandingi.a1a1a_1a2a2a_2 Satu masalah dengan hashtable adalah bahwa dua elemen yang sama dapat direpresentasikan secara berbeda, dan saya tidak memiliki akses ke fungsi hashing yang konsisten dengan …

15 ds.data-structures  functional-programming  sorting 

Saya sedang membaca satu bab dalam LYAH yang tidak terlalu masuk akal bagi saya. Saya mengerti bahwa ritsleting dapat secara sewenang-wenang melintasi struktur seperti pohon, tetapi saya perlu klarifikasi. Juga, dapatkah resleting digeneralisasikan ke struktur data apa saja?

15 ds.data-structures  functional-programming  tree 

Apa yang menghentikan ghc dari menerjemahkan Haskell ke dalam bahasa pemrograman concatenative seperti logika kombinasi dan kemudian hanya menggunakan alokasi stack untuk semuanya? Menurut Wikipedia, terjemahan dari lambda kalkulus ke logika kombinasi adalah sepele, dan juga, bahasa pemrograman concatenative hanya dapat mengandalkan tumpukan untuk alokasi memori. Apakah layak untuk melakukan …

14 functional-programming  haskell 

Bahasa fungsional dapat dilihat sebagai kategori di mana objeknya adalah tipe dan fungsi morfisme di antara mereka. Bagaimana kelas tipe cocok dengan model ini? Saya berasumsi bahwa kita hanya harus mempertimbangkan implementasi yang memenuhi batasan yang dimiliki sebagian besar tipe-kelas, tetapi tidak diungkapkan dalam Haskell. Sebagai contoh, kita hanya harus …

14 lo.logic  functional-programming  ct.category-theory  denotational-semantics  type-systems 

Saya mengeksplorasi ide menulis DBMS dengan cara yang sepenuhnya fungsional. Struktur data tradisional yang digunakan untuk pengindeksan adalah B-Tree. Saya ingin mengetahui beberapa fungsi yang setara murni dari B-Tree yang akan dioptimalkan untuk meminimalkan akses disk. Terima kasih.

14 ds.data-structures  functional-programming  db.databases 

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 dari rangkaian fungsional murni berdasarkan pohon. Masalahnya adalah …

14 ds.data-structures  cr.crypto-security  functional-programming  hash-function 

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 dihargai. Terbaik,

13 reference-request  functional-programming  ct.category-theory  parsing 

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 η A : A → β A yang didefinisikan …

13 functional-programming  monad  continuations  cps-transforms 

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 menemukan implementasi daftar perbedaan untuk Haskell. Saya memiliki dua pertanyaan …

13 reference-request  ds.data-structures  pl.programming-languages  functional-programming  logic-programming 

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 diperlukan. Nether kurang, saya masih bertanya-tanya dari mana ekstensi itu berasal. Kenapa mereka apa …

12 type-theory  functional-programming  constructive-mathematics 

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 menyiratkan yang lain, atau contoh tandingan yang tidak. (Saya …

12 pl.programming-languages  functional-programming  haskell  monad  applicative 

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 dengan O (1) bersambung, fungsional …

12 functional-programming  ds.data-structures 

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 apa artinya ini. Atau lebih tepatnya bagaimana …

11 functional-programming  semantics 

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 samping) pengulangan fungsi kelas satu yang arbitrer (tidak ada kombinator) Namun, bahasa tersebut …

11 complexity-classes  functional-programming  dc.parallel-comp 

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. Makalah itu mengimplementasikan subset kalkulus λ dengan menerjemahkan istilah λ tipe-EAL ke jaring interaksi yang …

10 lambda-calculus  functional-programming  interaction-nets