Saya baru mengenal Haskell dan setelah memulai ghcisaya mencoba: f x = 2 * x dan saya memperoleh: <interactive>:1:4: parse error on input `=' yang saya tidak mengerti. Anehnya, ini berhasil dengan baik sebelumnya. Saya kira saya telah melakukan kesalahan konfigurasi pada Haskell....
Aplikasi menulis, monads tidak. Apa maksud pernyataan di atas? Dan kapan yang satu lebih disukai daripada yang
Saya tidak terlalu mahir dalam Haskell, jadi ini mungkin pertanyaan yang sangat mudah. Batasan bahasa apa yang dipecahkan oleh Rank2Types ? Bukankah fungsi di Haskell sudah mendukung argumen
Seperti yang terjadi 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 perdebatan, argumen, jajak pendapat, atau diskusi yang diperpanjang. Jika...
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...
Apakah ada alasan bagus mengapa tipe Prelude.read itu read :: Read a => String -> a daripada mengembalikan Maybenilai? read :: Read a => String -> Maybe a Karena string mungkin gagal diuraikan Haskell, bukankah yang terakhir lebih natural? Atau bahkan Either String a, di mana...
Di Bab 19 Dunia Nyata Haskell banyak contoh yang sekarang gagal karena perubahan Control.Exception. Itu membuat saya berpikir mungkin beberapa hal di buku ini sebenarnya sudah usang dan tidak layak untuk dipelajari lagi, apalagi sudah 6 tahun. Satu-satunya referensi saya yang lain adalah Learn You...
Saya tidak tahu mengapa m1 tampaknya dikosongkan sementara m2 tidak dalam berikut ini: m1 = ((filter odd [1..]) !!) m2 n = ((filter odd [1..]) !! n) m1 10000000 membutuhkan waktu sekitar 1,5 detik pada panggilan pertama, dan sebagian kecil dari itu pada panggilan berikutnya (mungkin itu...
Tutup. Pertanyaan ini tidak memenuhi pedoman Stack Overflow . Saat ini tidak menerima jawaban. Ingin memperbaiki pertanyaan ini? Perbarui pertanyaan agar sesuai dengan topik untuk Stack Overflow. Tutup 4 tahun lalu . Perbaiki pertanyaan ini
Saya mencoba mengaktifkan XRankNTypesdi GHCi. Bagaimana saya melakukan
Baru-baru ini saya menemukan bahwa lubang tipe yang dikombinasikan dengan pencocokan pola pada bukti memberikan pengalaman seperti Agda yang cukup bagus di Haskell. Sebagai contoh: {-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, UndecidableInstances, GADTs, TypeOperators #-} data (==) :: k...
Apa kelas tipe Comonad di Haskell? Seperti dalam Comonad dari Control.Comonad dalam paket comonad (penjelasan tentang paket lain yang menyediakan kelas tipe Comonad juga diterima). Saya samar-samar pernah mendengar tentang Comonad, tetapi yang saya benar-benar tahu tentang itu adalah penyediaan...
Seperti yang terjadi 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 perdebatan, argumen, jajak pendapat, atau diskusi yang diperpanjang. Jika...
Saat menyelesaikan beberapa Masalah Project Euler untuk mempelajari Haskell (jadi saat ini saya seorang pemula) saya menemukan Masalah 12 . Saya menulis solusi (naif) ini: --Get Number of Divisors of n numDivs :: Integer -> Integer numDivs n = toInteger $ length [ x | x<-[2.. ((n `quot`...
Tipe Data Aljabar (ADT) di Haskell dapat secara otomatis menjadi instance dari beberapa kelas tipe (sepertiShow,Eq) dengan menurunkannya . data Maybe a = Nothing | Just a deriving (Eq, Ord) Pertanyaan saya adalah, bagaimana cara derivingkerjanya, yaitu bagaimana Haskell tahu bagaimana...
Kemarin saya belajar tentang alat Haskell baru yang disebut Stack . Pada blush pertama, sepertinya itu melakukan pekerjaan yang sama seperti Cabal. Lalu, apa perbedaan diantara keduanya? Apakah stack merupakan pengganti Cabal? Dalam kasus apa saya harus menggunakan Stack daripada Cabal? Apa yang...
Keamanan tipe Haskell tidak ada duanya hanya untuk bahasa yang diketik secara dependen. Tapi ada beberapa keajaiban mendalam yang terjadi dengan Text.Printf yang sepertinya agak miring. > printf "%d\n" 3 3 > printf "%s %f %d" "foo" 3.3 3 foo 3.3 3 Apa keajaiban di balik ini? Bagaimana...
Saya memiliki tiga fungsi yang menemukan elemen ke-n dari sebuah daftar: nthElement :: [a] -> Int -> Maybe a nthElement [] a = Nothing nthElement (x:xs) a | a <= 0 = Nothing | a == 1 = Just x | a > 1 = nthElement xs (a-1) nthElementIf :: [a] -> Int -> Maybe a nthElementIf []...
Tertutup . Pertanyaan ini perlu lebih difokuskan . Saat ini tidak menerima jawaban. Ingin memperbaiki pertanyaan ini? Perbarui pertanyaan agar fokus pada satu masalah hanya dengan mengedit posting ini . Tutup 5 tahun lalu . Perbaiki pertanyaan ini...
Perilaku saat ini Prelude> show _ <interactive>:7:6: Found hole ‘_’ with type: a0 Where: ‘a0’ is an ambiguous type variable Relevant bindings include it :: String (bound at <interactive>:7:1) In the first argument of ‘show’, namely ‘_’ In the expression: show _ In an equation...