CPU sampai batas tertentu dirancang dengan mengingat perangkat lunak yang orang akan menulis untuk itu, secara implisit atau eksplisit. Tampak bagi saya bahwa jika Anda melihat desain arsitektur set instruksi, mereka sangat "penting", dalam arti bahwa setiap instruksi mengkodekan perintah gaya...
Adakah yang bisa merujuk saya ke makalah peer-review yang mempelajari kelebihan atau kekurangan dari penulisan kode dengan gaya fungsional? Apakah ada makalah yang membahas aplikasi Lambda Calculus di berbagai bidang seperti Machine Learning, Desain Bahasa,
Saya telah mengajukan pertanyaan serupa di cstheory.SE . Menurut jawaban ini pada Stackoverflow ada algoritma yang pada bahasa pemrograman fungsional murni non-malas memiliki kompleksitas , sedangkan algoritma yang sama dalam pemrograman imperatif adalah Ω ( n ) . Menambahkan kemalasan ke bahasa...
Pemrograman fungsional memiliki Lambda Calculus yang sangat elegan dan variannya sebagai teori cadangan. Apakah ada hal seperti itu untuk OOP? Apa yang dimaksud dengan abstraksi untuk model berorientasi
Apakah ada perubahan yang dapat dilakukan pada CPU untuk membuatnya berkinerja lebih baik untuk runtime bersamaan seperti Rust? Misalnya, apakah ada perubahan pada implementasi prediksi cabang atau ukuran cache yang akan membantu runtime bersamaan? Saya memiliki kesan bahwa desain CPU saat ini...
Di wiki haskell ada contoh berikut penggunaan bersyarat dari IO monad (lihat di sini) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Perhatikan bahwa dalam contoh ini, definisi IO adiambil RealWorld -> (a,...
Saya pikir mengerti bagaimana deforestasi mengkonsumsi dan menghasilkan daftar pada saat yang sama (dari lipatan dan fungsi buka - lihat jawaban yang bagus ini di CodeReview di sini ), tetapi ketika saya membandingkannya dengan entri wikipedia pada teknik ini, ia berbicara tentang 'menghapus' pohon...
Saya mencari struktur data persisten yang mirip dengan array (tetapi tidak bisa diubah), memungkinkan untuk pengindeksan cepat, menambahkan, prepend, dan operasi iterasi (good locality) operasi. Clojure menyediakan vektor persisten, tetapi hanya untuk penambahan cepat. Scala's Vector secara...
Misalkan seseorang ingin beralasan tentang sifat-sifat kode di luar hal-hal seperti totalitas dan kemurnian fungsional - orang juga peduli dengan konsumsi memori, atau kompleksitas algoritmik suatu fungsi. Bisakah ini dilakukan melalui sistem pengetikan dan efek
Dalam komentar untuk Belajar F #: Buku apa yang menggunakan bahasa pemrograman lain yang dapat diterjemahkan ke F # untuk mempelajari konsep fungsional? Makarius menyatakan: Perhatikan bahwa pendekatan "CPS" telah sangat merugikan kinerja di SML / NJ. Model evaluasi fisiknya melanggar terlalu...
Saya mendapat perhatian bahwa biaya inferensi jenis dalam bahasa fungsional seperti OCaml bisa sangat tinggi. Klaimnya adalah bahwa ada urutan ekspresi sehingga untuk setiap ekspresi, panjang jenis yang sesuai adalah eksponensial pada panjang ekspresi. Saya menyusun urutan di bawah ini. Pertanyaan...
Saya sedang mengerjakan bahasa berbasis ekspresi dari silsilah ML, jadi tentu saja perlu inferensi jenis> :) Sekarang, saya mencoba untuk memperluas solusi berbasis kendala untuk masalah tipe menyimpulkan, berdasarkan pada implementasi sederhana dalam EOPL (Friedman dan Wand), tetapi mereka...
Defungsionalisasi adalah transformasi yang pertama kali dijelaskan pada tahun 1972 oleh John C. Reynolds untuk menghilangkan fungsi tingkat tinggi. Apakah ada transformasi alternatif (lebih efisien?) Untuk menghilangkan fungsi tingkat
Self Type adalah perpanjangan dari Calculus of Constructions [1] yang memungkinkan bahasa untuk mengekspresikan tipe data aljabar yang dikodekan melalui Scott Encoding. Scott Encoding memberikan satu kemampuan untuk mencocokkan pola O(1), yang merupakan salah satu motivator utama untuk...
Apa fungsi anonim (lambda)? Apa definisi formal dari fungsi anonim dalam bahasa pemrograman fungsional? Dalam istilah sederhana saya, ketika saya pemrograman dalam skema / lisp saya akan mengatakan fungsi anonim (lambda) adalah fungsi yang tidak terikat pada pengenal. Apakah hanya itu yang dapat...
Saya tidak tahu terminologi yang benar untuk mengajukan pertanyaan ini, jadi saya akan menggambarkannya dengan banyak kata, bersabarlah. Latar belakang , jadi kita ada di halaman yang sama: Program sering mengandung cache - waktu / memori tradeoff. Kesalahan programmer yang umum adalah lupa...
Saya ingin memberikan bukti untuk bagian dari program Haskell yang saya tulis sebagai bagian dari tesis saya. Namun sejauh ini, saya gagal menemukan referensi yang bagus. Buku pengantar Graham Hutton, Programming in Haskell ( Google Books ) —yang saya baca sambil mempelajari Haskell — menyentuh...
StackOverflow menunjuk saya ke sini, jadi pertanyaannya mungkin sedikit dalam istilah awam. Wikipedia mendefinisikan fungsi murni sebagai Dalam pemrograman komputer, suatu fungsi dapat digambarkan sebagai fungsi murni jika kedua pernyataan ini tentang fungsi tersebut: Fungsi selalu...
Katakanlah bahwa daftar didefinisikan sebagai List a = Nil | Cons a (List a) Lalu, di Haskell adalah List xfixpoint terbesar atau paling tidak? Saya bertanya karena lfp harus mengecualikan daftar yang tidak terbatas (tetapi Anda dapat membangunnya di Haskell), sedangkan gfp harus mengecualikan...
Meskipun saya bekerja sebagai programmer dalam kehidupan sehari-hari saya dan menggunakan semua bahasa yang trendi (Python, Java, C, dll) saya masih tidak memiliki pandangan yang jelas tentang apa itu pemrograman fungsional. Dari apa yang saya baca, salah satu properti bahasa fungsional adalah...