Pertanyaan yang diberi tag «haskell»

Bagi saya tampaknya Anda selalu dapat melewati argumen fungsi daripada menggunakan typeclass. Misalnya daripada mendefinisikan typeclass kesetaraan: class Eq a where (==) :: a -> a -> Bool Dan menggunakannya dalam fungsi lain untuk menunjukkan argumen tipe harus merupakan instance dari Eq: elem :: (Eq a) => a -> [a] …

16 haskell  functional-programming  higher-order-functions 

Pertanyaan ini adalah pertanyaan teoretis tentang fungsi Haskell yang dapat mengambil argumen apa pun. Apakah ada perbedaan antara fungsi cara dengan jenis tanda tangan a -> b -> a dan c -> a -> c Apakah instantiated? Bantuan apa pun dihargai.

16 haskell  functional-programming 

Saya sedang mempelajari Haskell saat ini dan mencoba memahami proyek yang menggunakan Haskell untuk mengimplementasikan algoritma kriptografi. Setelah membaca Learn You a Haskell for Great Good online, saya mulai memahami kode dalam proyek itu. Kemudian saya menemukan saya terjebak pada kode berikut dengan simbol "@": -- | Generate an @n@-dimensional …

15 haskell  symbols  operator-keyword  as-pattern 

Sebagai latihan, saya menulis parser untuk Haskell dari awal. Dalam membuat lexer, saya perhatikan aturan berikut pada Laporan Haskell 2010 : digit → ascDigit | uniDigit ascDigit → 0| 1| … | 9 uniDigit → setiap Unicode desimal digit octit → 0| 1| … | 7 hexit → digit | …

15 haskell  syntax  language-lawyer  literals 

Banyak jenis optik memiliki representasi van Laarhoven. Misalnya, Lenstipe Lens s t a b dapat direpresentasikan sebagai: Functor f => (a -> f b) -> s -> f t Demikian pula a Traversal, dapat direpresentasikan dengan cara yang sama, menukar Functorkendala untuk Applicative: Applicative f => (a -> f b) …

15 scala  haskell  functional-programming  lenses  monocle-scala 

Dalam proyek Haskell saya ketika saya stack run, itu menunjukkan yang berikut, tetapi masih berjalan. Peringatan apa ini? Bagaimana saya bisa menyingkirkannya? Stack has not been tested with GHC versions above 8.6, and using 8.8.2, this may fail Stack has not been tested with Cabal versions above 2.4, but version …

14 haskell  cabal  haskell-stack 

Real World Haskell, bab 4, halaman 98 dari cetakan bertanya apakah wordsdapat diimplementasikan menggunakan lipatan, dan ini juga pertanyaan saya: Apa itu mungkin? Jika tidak, mengapa? Jika ya, bagaimana? Saya datang dengan berikut ini, yang didasarkan pada gagasan bahwa setiap non-spasi harus ditambahkan ke kata terakhir dalam daftar output (ini …

14 haskell  functional-programming  fold 

Saya memiliki latihan di mana saya harus mendefinisikan tipe untuk mewakili daftar dengan nilai 0 hingga 5. Pertama saya pikir saya bisa menyelesaikan ini secara rekursif seperti ini: data List a = Nil | Content a (List a) Tapi saya rasa ini bukan pendekatan yang tepat. Bisakah Anda memberi saya …

14 haskell 

Saat menghitung IO (IO ()), keduanya (IO ())dan ()dihitung, jadi mengapa main :: IO (IO ()) main = print <$> (print "Hello, World!") mencetak "Hello, World!" tidak IO "Hello, World!" -- ?? "Hello, World!"

14 haskell 

Saya berkeliaran di Bagian Terbatas dari Perpustakaan Haskell dan menemukan dua mantra keji ini: {- System.IO.Unsafe -} unsafeDupablePerformIO :: IO a -> a unsafeDupablePerformIO (IO m) = case runRW# m of (# _, a #) -> a {- Data.ByteString.Internal -} accursedUnutterablePerformIO :: IO a -> a accursedUnutterablePerformIO (IO m) = …

13 haskell  io  unsafe  unsafe-perform-io 

Dalam ghci, saat saya mengetik :t (-) untuk mengetahui jenisnya (-), ia kembali (-) :: Num a => a -> a -> a Namun, ketika saya menulis -1haskell mengembalikan angka, yang sepertinya menyiratkan bahwa (-)adalah tipe Num a => a -> a. Bagaimana bisa (-)ada dua tipe yang berbeda?

12 haskell 

The seasonFungsi menggunakan fungsi aljabar tapi aku merasa seperti kode berulang-ulang. Bagaimana saya membuatnya sesingkat mungkin? data Month = Jan | Feb | Mar | Apr | May | June | July | Aug | Sept| Oct | Nov | Dec deriving (Eq,Ord,Show,Read) data Seasons = Spring | Summer | …

12 haskell  algebraic-data-types 

Ini adalah kode yang saya temukan di suatu tempat tetapi ingin tahu cara kerjanya: findIndices :: (a -> Bool) -> [a] -> [Int] findIndices _ [] = [] findIndices pred xs = map fst (filter (pred . snd) (zip [0..] xs)) Output: findIndices (== 0) [1,2,0,3,0]==[2,4] , di mana predadalah …

12 haskell  composition  higher-order-functions  function-composition  pointfree 

Mengapa GHCi memberikan jawaban yang salah di bawah? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 Python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 UPDATE Saya akan mengimplementasikan fungsi Haskell (^) sebagai berikut. powerXY :: Double -> Int -> Double powerXY x 0 = 1 powerXY x y | y < 0 = powerXY …

12 haskell  floating-point  ghc  ghci 

Sama seperti judulnya: jaminan apa yang ada untuk unit pengembalian fungsi Haskell yang akan dievaluasi? Orang akan berpikir bahwa tidak perlu menjalankan evaluasi apa pun dalam kasus seperti itu, kompilator dapat mengganti semua panggilan seperti itu dengan ()nilai langsung kecuali jika ada permintaan eksplisit untuk ketatnya, dalam hal ini kode …

12 haskell  language-lawyer  lazy-evaluation  semantics  unit-type