Pemrograman fungsional adalah paradigma pemrograman yang terutama menggunakan fungsi sebagai sarana untuk membangun abstraksi dan mengekspresikan komputasi yang terdiri dari program komputer.
Saya belajar Haskell dan saya kagum dengan bahasanya. Namun saya tidak memiliki latar belakang matematika atau CS yang serius. Tapi saya seorang programmer perangkat lunak yang berpengalaman. Saya ingin belajar teori kategori sehingga saya bisa menjadi lebih baik di Haskell. Topik apa dalam...
Bisakah seseorang menjelaskan perbedaan antara tipe dependen dan tipe perbaikan? Seperti yang saya pahami, tipe penyempurnaan berisi semua nilai dari tipe yang memenuhi predikat. Apakah ada fitur tipe dependen yang membedakannya? Jika itu membantu, saya menemukan tipe Refined melalui proyek Liquid...
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...
Jika sesuatu itu sederhana, maka itu harus sepenuhnya dijelaskan dengan beberapa kata. Ini dapat dilakukan untuk kalkulus λ: Kalkulus λ adalah tata bahasa sintaksis (pada dasarnya, struktur) dengan aturan reduksi (yang berarti prosedur pencarian / penggantian berulang kali diterapkan pada setiap...
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...
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...
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...
Seiring pemikiran yang sama seperti pernyataan Andrej Bauer dalam jawaban ini Komunitas Haskell telah mengembangkan sejumlah teknik yang diilhami oleh teori kategori, yang mana monad paling terkenal tetapi tidak boleh dikacaukan dengan monad . Apa hubungan antara functors di SML dan functors...
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...
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...
Pemrograman fungsional menggunakan struktur data yang persisten dan objek yang tidak dapat diubah. Pertanyaan saya adalah mengapa sangat penting untuk memiliki struktur data di sini? Saya ingin memahami pada level rendah apa yang akan terjadi jika struktur data tidak persisten? Apakah program akan...
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...
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...
Saya menonton ceramah oleh Jim Weirich, berjudul ' Adventures in Functional Programming '. Dalam kuliah ini, ia memperkenalkan konsep kombinator-Y, yang pada dasarnya menemukan titik tetap untuk fungsi-fungsi tingkat tinggi. Salah satu motivasi, seperti yang ia sebutkan, adalah untuk dapat...
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...
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,...
Profesor kami meminta kami untuk memikirkan fungsi dalam OCaml yang memiliki tipe 'a -> 'b yaitu fungsi dari satu argumen yang bisa berupa apa saja, dan yang dapat mengembalikan apa pun yang berbeda. Saya berpikir untuk menggunakan raisefungsi yang mengabaikan argumennya: let f x = raise...
Menurut artikel ini , baris kode Lisp berikut mencetak "Hello world" ke output standar. (format t "hello, world") Lisp, yang merupakan bahasa homoikonik , dapat memperlakukan kode sebagai data dengan cara ini: Sekarang bayangkan kita menulis makro berikut: (defmacro backwards (expr)...
Baru-baru ini saya menjadi sangat tertarik untuk memahami dan membuktikan aspek-aspek bahasa pemrograman (fungsional). Namun ketika saya menyelam lebih dalam, hal-hal seperti kalkulus , teori kategori, dan semantik denotasi agak sulit untuk diraih tanpa penjelasan yang tepat.λλ\lambda Saya...
Dalam makalah Philip Wadler tentang Teorema untuk Bebas ia menyatakan dalam Bagian 2 tentang Parametrisitas itu tidak ada model teori set-naif kalkulus lambda polimorfik Dalam model set-theoretik naif jenis set dan fungsi adalah fungsi set-theoretik yang tampaknya masuk akal. Jadi mengapa dia...