Saya mencoba membuat jenis tampilan ghci untuk perpustakaan saya seintuitif mungkin, tetapi saya mengalami banyak kesulitan saat menggunakan fitur jenis yang lebih canggih. Katakanlah saya memiliki kode ini dalam sebuah file: {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE DataKinds #-} {-#...
Jika bahasa pemrograman fungsional tidak dapat menyimpan status apa pun, bagaimana mereka melakukan hal-hal sederhana seperti membaca input dari pengguna? Bagaimana cara mereka "menyimpan" input (atau menyimpan data apa pun?) Misalnya: bagaimana hal C sederhana ini diterjemahkan ke bahasa...
Hackage memiliki beberapa paket untuk trafo monad: mtl : Perpustakaan trafo Monad Transformer : Trafo functor dan monad beton monads-fd : Kelas monad , menggunakan dependensi fungsional monads-tf : Kelas Monad, menggunakan keluarga tipe monadLib : Kumpulan transformator monad. mtl-tf : Pustaka...
Saya sedang mengerjakan Tulis Skema Sendiri dalam 48 Jam (saya memiliki waktu hingga sekitar 85 jam) dan saya telah sampai pada bagian tentang Menambahkan Variabel dan Tugas . Ada lompatan konseptual yang besar dalam bab ini, dan saya berharap hal itu dilakukan dalam dua langkah dengan...
Dapatkah seseorang memberi tahu saya mengapa Haskell Prelude mendefinisikan dua fungsi terpisah untuk eksponen (yaitu ^dan **)? Saya pikir sistem tipe seharusnya menghilangkan duplikasi semacam ini. Prelude> 2^2 4 Prelude> 4**0.5 2.0
Latihan pemrograman klasik adalah menulis penerjemah Lisp / Skema di Lisp / Skema. Kekuatan bahasa lengkap dapat dimanfaatkan untuk menghasilkan penerjemah untuk subset bahasa. Apakah ada latihan serupa untuk Haskell? Saya ingin mengimplementasikan subset Haskell menggunakan Haskell sebagai...
Kita semua tahu (atau seharusnya tahu) bahwa Haskell malas secara default. Tidak ada yang dievaluasi sampai harus dievaluasi. Jadi, kapan sesuatu harus dievaluasi? Ada beberapa poin di mana Haskell harus tegas. Saya menyebutnya "titik-titik ketelitian", meskipun istilah khusus ini tidak seluas...
Dalam baru-baru ini saya bekerja dengan Gibbs sampling, saya telah membuat penggunaan besar dari RVaryang, dalam pandangan saya, menyediakan antarmuka yang ideal dekat ke generasi nomor acak. Sayangnya, saya tidak dapat menggunakan Repa karena ketidakmampuan untuk menggunakan tindakan monadik di...
Saat membaca https://en.uncyclopedia.co/wiki/Haskell (dan mengabaikan semua hal "ofensif"), saya menemukan potongan kode berikut yang dikaburkan: fix$(<$>)<$>(:)<*>((<$>((:[{- thor's mother -}])<$>))(=<<)<$>(*)<$>(*2))$1 Ketika saya menjalankan...
Saya menemukan perintah "waktu" di unix hari ini dan berpikir saya akan menggunakannya untuk memeriksa perbedaan runtime antara fungsi rekursif ekor dan rekursif normal di Haskell. Saya menulis fungsi berikut: --tail recursive fac :: (Integral a) => a -> a fac x = fac' x 1 where fac' 1...
Saya mencoba untuk memvisualisasikan beberapa sistem fisik otomatis sederhana (seperti pendulum, lengan robot, dll.) Di Haskell. Seringkali sistem tersebut dapat dijelaskan dengan persamaan seperti df/dt = c*f(t) + u(t) di mana u(t)mewakili semacam 'kontrol cerdas'. Sistem tersebut terlihat...
Tertutup . Pertanyaan ini berdasarkan opini . Saat ini tidak menerima jawaban. Ingin memperbaiki pertanyaan ini? Perbarui pertanyaan agar dapat dijawab dengan fakta dan kutipan dengan mengedit posting ini . Tutup 2 tahun lalu . Perbaiki pertanyaan...
Saya biasanya mendengar bahwa kode produksi harus menghindari penggunaan Lazy I / O. Pertanyaan saya adalah, mengapa? Apakah saya boleh menggunakan Lazy I / O selain hanya bermain-main? Dan apa yang membuat alternatif (misalnya pencacah) lebih baik?
Saya telah melakukan dev di F # untuk sementara waktu dan saya menyukainya. Namun satu kata kunci yang saya tahu tidak ada di F # adalah tipe yang lebih tinggi. Saya telah membaca materi tentang tipe yang lebih baik, dan saya rasa saya memahami definisi mereka. Saya hanya tidak yakin mengapa...
Saya agak bingung dengan dokumentasinya fix(meskipun saya pikir saya mengerti apa yang seharusnya dilakukan sekarang), jadi saya melihat kode sumbernya. Itu membuat saya lebih bingung: fix :: (a -> a) -> a fix f = let x = f x in x Bagaimana tepatnya ini mengembalikan titik tetap? Saya...
Saya mencoba memahami apa yang dilakukan operator titik dalam kode Haskell ini: sumEuler = sum . (map euler) . mkList Seluruh kode sumber ada di bawah. Pemahaman saya Operator titik mengambil dua fungsi sumdan hasil dari map eulerdan hasil mkListsebagai masukan. Tapi, sumbukankah sebuah...
Saat menyusun aplikasi Haskell saya dengan -Wallopsi tersebut, GHC mengeluh tentang instans yatim piatu, misalnya: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result Jenis kelas ToSElembukan milik saya, ini ditentukan oleh HStringTemplate . Sekarang saya tahu cara...
Di GHCi: Prelude> error (error "") *** Exception: Prelude> (error . error) "" *** Exception: *** Exception: Mengapa yang pertama bukan pengecualian bersarang?
Saya baru-baru ini menyelesaikan kursus universitas yang menampilkan Haskell dan Agda (bahasa pemrograman fungsional jenis dependen), dan bertanya-tanya apakah mungkin untuk mengganti kalkulus lambda dengan logika kombinatori. Dengan Haskell ini tampaknya mungkin menggunakan kombinator S dan K,...
Potongan kode Haskell ini berjalan jauh lebih lambat -O, tetapi -Oseharusnya tidak berbahaya . Adakah yang bisa memberi tahu saya apa yang terjadi? Jika penting, ini merupakan upaya untuk memecahkan masalah ini , dan menggunakan pencarian biner dan pohon segmen persisten: import