Pertanyaan yang diberi tag «haskell»

The Applicativetypeclass mewakili longgar monoidal functors yang melestarikan struktur monoidal Cartesian pada kategori fungsi diketik. Dengan kata lain, diberikan kesaksian isomorfisme kanonik yang (,)membentuk struktur monoid: -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, (b, c)) -> ((a, b), …

9 haskell  functor  applicative  category-theory 

Pola yang saya temui beberapa kali sekarang adalah pola di mana daftar nilai perlu diperiksa dengan memetakan beberapa tes di atasnya dan melihat apakah ada atau semua elemen lulus. Solusi khasnya adalah hanya menggunakan built-in alldan nyaman any. Masalahnya adalah ini mengevaluasi secara serial. Dalam banyak kasus akan jauh lebih …

9 haskell  testing  concurrency  parallel-processing  any 

Saya telah menemukan beberapa hal yang menjengkelkan. Saya tahu bahwa haskell bekerja dengan bentuk normal kepala lemah (WHNF) dan saya tahu apa ini. Mengetik kode berikut ke dalam ghci (saya menggunakan perintah: sprint yang mengurangi ekspresi menjadi WHNF untuk pengetahuan saya.): let intlist = [[1,2],[2,3]] :sprint intlist memberikan intlist = …

9 haskell  functional-programming  ghci  reduction  weak-head-normal-form 

Saya belajar Haskell dan sedang melakukan program DB-seed sederhana untuk Yesod ketika saya menemukan perilaku ini yang sulit saya pahami: testFn :: Int -> Bool -> [Int] testFn a b = if b then replicate 10 a else [] Sesi Yesod GHCI: $ :t concatMap testFn [3] concatMap testFn [3] …

9 haskell  traversal 

(Terinspirasi oleh jawaban saya untuk pertanyaan ini .) Pertimbangkan kode ini (seharusnya menemukan elemen terbesar yang kurang dari atau sama dengan input yang diberikan): data TreeMap v = Leaf | Node Integer v (TreeMap v) (TreeMap v) deriving (Show, Read, Eq, Ord) closestLess :: Integer -> TreeMap v -> Maybe …

9 haskell  lazy-evaluation  dry 

Saya mencoba untuk mendefinisikan keluarga mesin negara dengan jenis negara yang agak berbeda. Secara khusus, mesin negara yang lebih "kompleks" memiliki keadaan yang dibentuk dengan menggabungkan keadaan mesin negara yang lebih sederhana. (Ini mirip dengan pengaturan berorientasi objek di mana objek memiliki beberapa atribut yang juga objek.) Ini adalah contoh …

9 haskell  state  monads  monad-transformers  state-monad 

Mengapa ini tidak setara? show $ if someCondition then someInt else some double dan if someCondition then show someInt else show someDouble Saya mengerti bahwa jika Anda mengisolasi if ... elsebagian dalam contoh pertama ke ekspresi dengan sendirinya maka Anda tidak dapat mewakili tipenya dengan tipe jumlah anonim, jenis Int …

9 haskell  compiler-construction  language-features  typechecking 

Saya benar-benar berjuang dengan memahami callCC. Saya mendapatkan kekuatan Kelanjutan dan saya telah menggunakan konsep di beberapa proyek saya untuk membuat konsep keren. Tetapi saya tidak pernah perlu menggunakan sesuatu dengan kemampuan yang lebih besar dari itu cont :: ((a->r)->r)-> Cont r a. Setelah menggunakannya, masuk akal mengapa mereka menyebut …

9 haskell  functional-programming  monads 

Saya mencoba menyatukan beberapa diagram dalam semacam tabel. Saya pikir ini disebut "indeks cetak" , orang-orang fotografi melakukan itu ketika mereka harus meninjau banyak foto sekaligus. Bagaimanapun, ini kodenya: main :: IO () main = mainWith @(Diagram B) $ (tile . fmap renderOne) examples renderOne :: AnyGraph -> Diagram B …

9 haskell  haskell-diagrams 

Ditutup . Pertanyaan ini perlu lebih fokus . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga berfokus pada satu masalah hanya dengan mengedit posting ini . Ditutup 7 bulan lalu . Baru-baru ini, saya mencoba menggunakan Haskell di beberapa sistem produksi kasus nyata saya. Sistem tipe …

9 haskell  higher-order-functions  fold