Pertanyaan yang diberi tag «haskell»

Saya mencoba mengaktifkan XRankNTypesdi GHCi. Bagaimana saya melakukan ini?

106 haskell  ghci  language-extension 

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 extract :: w a -> a, semacam paralel dengan Monad …

105 haskell  typeclass  comonad 

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 -> k -> * where Refl :: x == x sym :: …

105 haskell  dependent-type 

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 Anda merasa pertanyaan ini dapat diperbaiki dan mungkin dibuka kembali, kunjungi pusat …

104 haskell  comparison  lisp  language-comparisons 

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` 2)+1)], n …

104 haskell  performance  profiling 

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 Text.Printf.printffungsi tersebut …

104 haskell  printf  variadic-functions  polyvariadic 

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 menerapkan fungsi kelas tipe turunan untuk ADT turunan? Juga, …

104 haskell  typeclass  derived-types  derived-instances  deriving 

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 :: …

104 haskell  if-statement  case 

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 bisa dilakukan Stack yang tidak bisa dilakukan …

104 haskell  cabal  haskell-stack 

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 Bahasa fungsional bagus karena menghindari bug dengan menghilangkan status, tetapi juga karena …

103 haskell  f#  functional-programming 

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 for ‘it’: it = show …

103 haskell  types  ghc 

map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m b Mengapa kita memiliki tiga fungsi berbeda yang pada dasarnya melakukan hal yang sama?

102 list  haskell  monads  redundancy  functor 

Saya baru saja memulai proyek Haskell baru dan ingin menyiapkan alur kerja pengujian yang baik dari awal. Sepertinya Haskell memiliki banyak alat pengujian yang sangat baik dan unik serta banyak cara berbeda untuk mengintegrasikannya. Saya telah memeriksa: HUnit Pemeriksaan cepat benchpress HPC kompleksitas Yang semuanya tampak bekerja sangat baik di …

101 testing  haskell 

Di F #, penggunaan operator pipa-maju |>,, cukup umum. Namun, di Haskell saya hanya pernah melihat komposisi fungsi (.),, sedang digunakan. Saya memahami bahwa keduanya terkait , tetapi adakah alasan bahasa yang membuat pipa maju tidak digunakan di Haskell atau ada hal lain?

100 haskell  f#  functional-programming  composition 

Dalam bahasa fungsional murni seperti Haskell, apakah ada algoritma untuk mendapatkan kebalikan dari suatu fungsi, (sunting) jika itu bersifat bijektiva? Dan adakah cara khusus untuk memprogram fungsi Anda?

100 haskell  clojure  functional-programming  ocaml