Pertanyaan yang diberi tag ?functional-programming?

Pemrograman fungsional adalah paradigma pemrograman yang terutama menggunakan fungsi sebagai sarana untuk membangun abstraksi dan mengekspresikan komputasi yang terdiri dari program komputer.



3
Bagaimana kompleksitas algoritma dimodelkan untuk bahasa fungsional?
Kompleksitas algoritma dirancang untuk tidak tergantung pada detail level yang lebih rendah tetapi didasarkan pada model imperatif, mis. Akses array dan memodifikasi sebuah node dalam sebuah pohon membutuhkan waktu O (1). Ini tidak terjadi dalam bahasa fungsional murni. Daftar Haskell membutuhkan waktu linier untuk akses. Memodifikasi sebuah simpul dalam pohon …


2
Bagaimana Pemrograman Reaktif Fungsional dan model Aktor berhubungan satu sama lain?
FRP adalah tentang streaming peristiwa dan perilaku melalui fungsi murni. Model Aktor - setidaknya, seperti yang diterapkan di Akka - adalah tentang streaming pesan abadi (yang dapat dianggap sebagai peristiwa diskrit) melalui objek yang berpotensi tidak murni, yang disebut aktor. Jadi di permukaan mereka tampak terkait. Apa lagi yang bisa …

2
Apakah Lambda Calculus murni sintaksis?
Saya telah membaca selama beberapa minggu tentang Kalkulus Lambda, tetapi saya belum melihat sesuatu yang secara material berbeda dari fungsi matematika yang ada, dan saya ingin tahu apakah itu hanya masalah notasi, atau apakah ada yang baru properti atau aturan yang dibuat oleh aksioma kalkulus lambda yang tidak berlaku untuk …

2
Bagaimana cara mengimplementasikan juru bahasa prolog dalam bahasa yang murni fungsional?
Apakah ada referensi yang jelas, dengan pseudo-code, tentang bagaimana cara mengimplementasikan juru bahasa Prolog dalam bahasa yang murni fungsional? Apa yang saya temukan sejauh ini tampaknya hanya berurusan dengan bahasa imperatif, hanyalah sebuah demonstrasi dari Prolog yang dilaksanakan dengan sendirinya, atau tidak menawarkan algoritma konkret untuk digunakan untuk interpretasi. Saya …


2
Apakah ekspresi perhitungan sama dengan monad?
Pertanyaan ini dimigrasikan dari Stack Overflow karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 5 tahun yang lalu . Saya masih belajar pemrograman fungsional (dengan f #) dan saya baru-baru ini mulai membaca tentang ekspresi komputasi. Saya masih belum sepenuhnya memahami konsep dan satu hal yang membuat saya tidak …

2
Apa yang dimaksud dengan teori Kategori belum tahu bagaimana menangani fungsi tingkat tinggi?
Dalam membaca jawaban Uday Reddy untuk Apa hubungan antara functors dalam teori SML dan Kategori? Negara bagian Uday Teori kategori belum tahu bagaimana menangani fungsi tingkat tinggi. Suatu hari, itu akan terjadi. Karena saya pikir teori Kategori dapat berfungsi sebagai dasar untuk matematika, maka seharusnya dimungkinkan untuk menurunkan semua fungsi …


2
Teori kategori (bukan) untuk Pemrograman?
Setelah mempelajari Haskell dan bahasa FP lain yang tidak murni, saya memutuskan untuk membaca tentang teori Kategori. Setelah mendapatkan pemahaman yang baik tentang teori Kategori saya mulai berpikir tentang bagaimana konsep teori kategori dapat digunakan untuk berpikir tentang merancang program tetapi tidak peduli seberapa keras saya mencoba sepertinya ini bukan …

5
Kalkulus Lambda di luar pemrograman fungsional?
Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Saya seorang mahasiswa, dan kami sedang mempelajari Lambda Calculus. Namun, saya masih kesulitan memahami dengan tepat mengapa ini berguna bagi saya. Saya menyadari jika Anda melakukan banyak …

1
Mengapa pemrograman fungsional belum meneliti pohon dinamis?
Pohon dinamis memainkan peran penting dalam menyelesaikan masalah seperti aliran jaringan, grafik dinamis, masalah kombinatorial ("Dynamic Trees in Practice" oleh Tarjan dan Werneck) dan baru-baru ini menggabungkan kamus ("A Simple Mergeable Dictionary" oleh Adam Karczmarz), Dengan pohon dinamis, saya merujuk pada definisi yang dinyatakan dalam makalah Sleator & Tarjan "Struktur …

1
Kelas-kelas struktur data apa yang bisa dibuat tetap?
Struktur data yang persisten adalah struktur data yang tidak dapat diubah. Operasi pada mereka mengembalikan "salinan" baru dari struktur data, tetapi diubah oleh operasi; struktur data lama tetap tidak berubah. Efisiensi umumnya dicapai dengan membagikan beberapa data yang mendasarinya, dan menghindari penyalinan penuh dari struktur data. Pertanyaan: Apakah ada hasil …

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.
Judi bola