Saya mencoba mendefinisikan fungsi sederhana apa pun yang membentang beberapa baris dalam ghci, ambil yang berikut sebagai contoh: let abs n | n >= 0 = n | otherwise = -n Sejauh ini saya sudah mencoba menekan Enter setelah baris pertama: Prelude> let abs n | n >= 0 = n Prelude> |...
Saya telah melihat beberapa sumber menggemakan pendapat bahwa "Haskell secara bertahap menjadi bahasa yang diketik secara dependen". Implikasinya tampaknya bahwa dengan semakin banyak ekstensi bahasa, Haskell melayang ke arah yang umum, tetapi belum ada di sana. Pada dasarnya ada dua hal yang...
Ciri-ciri di Rust tampaknya setidaknya mirip dengan jenis kacamata di Haskell, namun saya telah melihat orang menulis bahwa ada beberapa perbedaan di antara mereka. Saya bertanya-tanya apa perbedaan-perbedaan
Saya mengalami masalah dalam mendapatkan GHC untuk mengkhususkan fungsi dengan batasan kelas. Saya punya contoh minimal masalah saya di sini: Foo.hs dan Main.hs . Dua file dikompilasi (GHC 7.6.2, ghc -O3 Main) dan jalankan. CATATAN: Foo.hs benar-benar dilucuti. Jika Anda ingin melihat mengapa...
Ya, ini : {-#LANGUAGE TypeOperators, RankNTypes #-} import Control.Morphism.Zygo import Control.Morphism.Prepro import Control.Morphism.Histo import Control.Functor.Algebra import Control.Functor.Extras import Control.Functor.Fix import Control.Comonad.Cofree zygohistomorphic_prepromorphism ::...
Pertama, Real World Haskell , yang saya baca, mengatakan untuk tidak pernah menggunakan foldldan sebaliknya menggunakannya foldl'. Jadi saya percaya itu. Tapi aku kabur pada saat menggunakan foldrvs foldl'. Meskipun saya dapat melihat struktur bagaimana mereka bekerja secara berbeda diletakkan di...
Apakah ada jawaban sederhana: Mengapa GHC begitu besar? OCaml: 2MB Python: 15MB SBCL: 9MB OpenJRE - 26MB GHC: 113MB Tidak tertarik pada penginjilan "Mengapa saya tidak harus peduli tentang ukuran jika Haskell adalah alat yang tepat"; ini pertanyaan
Saya memiliki tipe data yang didefinisikan sebagai: data ComitteeView = CommitteeView { committeeId :: CommitteeId , committeeMembers :: [Person] } data CommitteesView = CommitteesView { committeeView :: [CommitteeView] } Sekarang, sebagaimana adanya, saya memiliki model Persisten yang...
Saya mencoba menggunakan ghc-modplugin vim untuk melakukan ketik / memeriksa sintaks dll. Namun, saya menemukan bahwa ghc-modselalu menggunakan path lengkap jenis dalam pesan kesalahan, misalnya: test.hs|71 col 13 error| Couldn't match type ‘Data.Text.Internal.Text’ || with ‘[GHC.Types.Char]’ ||...
Saya mencoba mencari cara untuk menggunakan API OpenSSL.Session dengan benar dalam konteks bersamaan Misalkan saya ingin mengimplementasikan stunnel-style ssl-wrapper, saya berharap memiliki struktur kerangka dasar berikut, yang mengimplementasikan naiffull-duplex tcp-port-forwarder: runProxy ::...
Saya tidak mengerti apa itu "mengangkat". Haruskah saya terlebih dahulu memahami monads sebelum memahami apa itu "lift"? (Saya juga benar-benar tidak tahu tentang monad :) Atau dapatkah seseorang menjelaskannya kepada saya dengan kata-kata sederhana?
Ada petunjuk tentang cara menyelesaikan secara efisien fungsi berikut di Haskell, untuk bilangan besar (n > 108) f(n) = max(n, f(n/2) + f(n/3) + f(n/4)) Saya telah melihat contoh memoisasi di Haskell untuk menyelesaikan bilangan fibonacci, yang melibatkan komputasi (malas) semua bilangan...
Saya berharap untuk menyematkan juru bahasa Haskell hintsehingga saya dapat menulis plugin di Haskell untuk digunakan dengan program saya. Saya tidak ingin mengirimkan seluruh platform Haskell untuk file executable saya. Biasanya, file executable Haskell cukup mandiri. Misalnya, menghapus...
Saya mengalami masalah dalam memasukkan perintah multi-line dalam ghci. Kode 2-baris berikut ini berfungsi dari file: addTwo :: Int -> Int -> Int addTwo x y = x + y Tetapi ketika saya masuk dalam ghci, saya mendapatkan kesalahan: <interactive>:1:1: error: Variable not in scope:...
Apakah ada fungsi untuk menggabungkan elemen daftar dengan pemisah? Sebagai contoh: > foobar " " ["is","there","such","a","function","?"] ["is there such a function ?"] Terima kasih atas
Kami sedang mengembangkan program yang menerima dan meneruskan "pesan", sambil menyimpan riwayat sementara pesan-pesan itu, sehingga dapat memberi tahu Anda riwayat pesan jika diminta. Pesan diidentifikasi secara numerik, biasanya berukuran sekitar 1 kilobyte, dan kita perlu menyimpan ratusan ribu...
Apa sebenarnya perbedaan antara moddan remdi Haskell? Keduanya sepertinya memberikan hasil yang sama *Main> mod 2 3 2 *Main> rem 2 3 2 *Main> mod 10 5 0 *Main> rem 10 5 0 *Main> mod 1 0 *** Exception: divide by zero *Main> rem 1 0 *** Exception: divide by zero *Main> mod 1...
Saya telah membaca Real World Haskell , dan saya mendekati akhir, tetapi masalah gaya telah mengganggu saya sehubungan dengan (.)dan ($)operator. Ketika Anda menulis fungsi yang merupakan komposisi dari fungsi-fungsi lain, Anda menulisnya seperti: f = g . h Tetapi ketika Anda menerapkan sesuatu...
Saya telah menemukan sepotong kode Haskell yang terlihat seperti ini: ps@(p:pt) Apa arti @simbol dalam konteks ini? Sepertinya saya tidak dapat menemukan info di Google (sayangnya sulit untuk mencari simbol di Google), dan saya tidak dapat menemukan fungsinya di dokumentasi Prelude, jadi saya...
Jenis-jenis metode dependen, yang dulunya merupakan fitur eksperimental sebelumnya, kini telah diaktifkan secara default di trunk , dan tampaknya ini tampaknya telah menciptakan kegembiraan di komunitas Scala. Pada pandangan pertama, tidak segera jelas apa manfaatnya. Heiko Seeberger memposting...