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...
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...
(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 ->...
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] :: Bool...
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 =...
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...
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,...
Masalah Pertimbangkan masalah desain berikut ini di Haskell. Saya memiliki, EDSL simbolis sederhana di mana saya ingin mengekspresikan variabel dan ekspresi umum (polinomial multivariat) seperti x^2 * y + 2*z + 1. Selain itu, saya ingin mengekspresikan persamaan simbolik tertentu atas ekspresi,...
Saya memiliki kode ini (memang aneh) yang menggunakan lensa dan GHC.Rekam : {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies...