Haskell adalah bahasa pemrograman fungsional yang menampilkan pengetikan statis yang kuat, evaluasi malas, paralelisme yang luas dan dukungan konkurensi, dan kemampuan abstraksi yang unik.
Setelah secara singkat melihat Haskell baru-baru ini, apa yang akan menjadi penjelasan singkat, ringkas, praktis tentang apa dasarnya monad? Saya telah menemukan sebagian besar penjelasan yang saya temui tidak masuk akal dan kurang detail
Saya bersumpah dulu ada T-shirt untuk dijual yang menampilkan kata-kata abadi: Bagian dari apa apakah kamu tidak mengerti Dalam kasus saya, jawabannya adalah ... semuanya! Secara khusus, saya sering melihat notasi seperti ini di surat kabar Haskell, tetapi saya tidak tahu apa artinya....
Jawaban pertanyaan ini adalah upaya komunitas . Edit jawaban yang ada untuk meningkatkan pos ini. Saat ini tidak menerima jawaban atau interaksi baru. Selama beberapa hari saya sudah mencoba membungkus kepala saya di sekitar paradigma pemrograman fungsional di
Siapa yang pertama kali mengatakan yang berikut? Monad hanya monoid dalam kategori endofunctor, apa masalahnya? Dan pada catatan yang kurang penting, apakah ini benar dan jika demikian dapatkah Anda memberikan penjelasan (mudah-mudahan yang dapat dipahami oleh seseorang yang tidak memiliki...
Apa perbedaan antara titik (.)dan tanda dolar ($)? Seperti yang saya pahami, keduanya adalah gula sintaksis karena tidak perlu menggunakan tanda
Saya telah mengambil Soal # 12 dari Project Euler sebagai latihan pemrograman dan untuk membandingkan implementasi (pasti tidak optimal) saya dalam C, Python, Erlang dan Haskell. Untuk mendapatkan waktu eksekusi yang lebih tinggi, saya mencari nomor segitiga pertama dengan lebih dari 1000 pembagi...
Saya harus mengakui bahwa saya tidak tahu banyak tentang pemrograman fungsional. Saya membacanya dari sana-sini, dan jadi tahu bahwa dalam pemrograman fungsional, fungsi mengembalikan output yang sama, untuk input yang sama, tidak peduli berapa kali fungsi dipanggil. Persis seperti fungsi...
Ditutup . Pertanyaan ini perlu lebih fokus . Saat ini tidak menerima jawaban. Ditutup 3 tahun yang lalu . Terkunci . Pertanyaan ini dan jawabannya dikunci karena pertanyaannya di luar topik tetapi memiliki signifikansi historis. Saat ini tidak menerima...
Ditutup . Pertanyaan ini didasarkan pada pendapat . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga dapat dijawab dengan fakta dan kutipan dengan mengedit posting ini . Ditutup 6 tahun yang lalu . Ada...
Ditutup . Pertanyaan ini didasarkan pada pendapat . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga dapat dijawab dengan fakta dan kutipan dengan mengedit posting ini . Ditutup 2 tahun yang lalu . Saya...
Dari dokumen untuk GHC 7.6: [Y] ou sering kali bahkan tidak membutuhkan pragma SPESIALISASI. Saat menyusun modul M, pengoptimal GHC (dengan -O) secara otomatis mempertimbangkan setiap fungsi tingkat-atas yang dideklarasikan dalam M, dan mengkhususkannya untuk jenis yang berbeda di mana ia...
Saya telah melihat istilah Free Monad muncul setiap sekarang dan kemudian untuk beberapa waktu, tetapi semua orang sepertinya menggunakan / mendiskusikannya tanpa memberikan penjelasan tentang apa itu mereka. Jadi: apa itu monad gratis? (Saya akan mengatakan saya akrab dengan monad dan dasar-dasar...
Menurut pendapat saya yang sederhana, jawaban atas pertanyaan terkenal "Apa itu monad?" , terutama yang paling banyak dipilih, coba jelaskan apa itu monad tanpa menjelaskan dengan jelas mengapa monad benar-benar diperlukan . Bisakah mereka dijelaskan sebagai solusi untuk suatu
Seperti yang ada saat ini, pertanyaan ini tidak cocok untuk format Tanya Jawab kami. Kami berharap jawaban didukung oleh fakta, referensi, atau keahlian, tetapi pertanyaan ini kemungkinan akan mengundang debat, argumen, polling, atau diskusi panjang. Jika Anda merasa bahwa
Saya telah mendengar istilah "coalgebras" beberapa kali dalam pemrograman fungsional dan lingkaran PLT, terutama ketika diskusi tentang objek, comonad, lensa, dan semacamnya. Googling istilah ini memberikan halaman-halaman yang memberikan deskripsi matematis dari struktur-struktur ini yang sangat...
Berikut skenario: Saya sudah menulis beberapa kode dengan tipe tanda tangan dan GHC mengeluh tidak dapat menyimpulkan x ~ y untuk beberapa xdan y. Anda biasanya dapat melempar GHC ke tulang dan menambahkan isomorfisme ke batasan fungsi, tetapi ini adalah ide yang buruk karena beberapa alasan: Itu...
Saya mulai memahami bagaimana forallkata kunci digunakan dalam apa yang disebut "tipe eksistensial" seperti ini: data ShowBox = forall s. Show s => SB s Namun, ini hanya sebagian dari cara forallpenggunaannya dan saya tidak bisa menggunakan pikiran saya dalam hal-hal seperti ini: runST ::...
Apa artinya Weak Head Normal Form (WHNF)? Apa arti Head Normal form (HNF) dan Normal Form (NF)? Negara Haskell Dunia Nyata : Fungsi seq yang familier mengevaluasi ekspresi pada apa yang kita sebut head normal form (disingkat HNF). Ia berhenti begitu mencapai konstruktor terluar ("kepala"). Ini...
Ekspresi 'aljabar' untuk tipe data aljabar terlihat sangat sugestif bagi seseorang dengan latar belakang dalam matematika. Biarkan saya mencoba menjelaskan apa yang saya maksud. Setelah mendefinisikan tipe dasar Produk • Persatuan + Singleton X Satuan 1 dan menggunakan singkatan X²untuk X•Xdan...
Saya ingin belajar FRP di Haskell, tetapi agak sulit untuk memutuskan perpustakaan untuk digunakan. Banyak yang tampaknya merupakan upaya mati, beberapa tampaknya telah dibangkitkan (seperti aktivitas terbaru di Yampa). Dari apa yang saya baca, tampaknya ada dua "jenis" FRP: push-pull FRP (seperti...