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...
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...
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 | Autumn |...
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...
Sebagai Negara monad dapat difaktorkan menjadi Produk (Kiri - Functor) dan Pembaca (Kanan - Representable). Apakah ada cara untuk memfaktisasi Monad Lanjutan? Kode di bawah ini adalah upaya saya, yang tidak akan memeriksa jenis -- To form a -> (a -> k) -> k {-# LANGUAGE...
Saya memiliki tipe Id adan saya mencoba untuk mencegah paksaan tanpa sengaja, misalnya, Id Doubleke Id Int. Jika saya memahami mengetikkan peran dengan benar, yang berikut ini tidak boleh dikompilasi. {-# LANGUAGE RoleAnnotations #-} import Data.Coerce (coerce) type role Id nominal newtype Id a...
Saya menulis paket gambar dengan beberapa bagian, dan saya memiliki operator dan tipe data yang tersebar di seluruh penjuru. Namun saya tidak ingin para pengguna menambahkan modul yang sesuai setiap waktu, karena akan sangat berantakan, misalnya saya memiliki Pointkelas, Monoidperan dan Stylekelas...
type BSTree a = BinaryTree a data BinaryTree a = Null | Node (BinaryTree a) a (BinaryTree a) deriving Show flattenTree :: BinaryTree a -> [a] flattenTree tree = case tree of Null -> [] Node left val right -> (flattenTree left) ++ [val] ++ (flattenTree right) isBSTree :: (Ord a)...
Saat ini saya sedang berurusan dengan fungsi yang berjalan seperti ini: foo = (\(a:b:c:d:e:f:_) -> foobar a b c d e f) . (++ repeat def) Dengan kata lain, diberikan daftar, ia menggunakan enam elemen pertama untuk sesuatu, dan jika daftar itu kurang dari enam elemen, ia menggunakan defsebagai...
Ada 3 fungsi yang diberikan di bawah ini yang menemukan elemen terakhir tetapi kedua dalam daftar. Yang menggunakan last . inittampaknya jauh lebih cepat daripada yang lain. Sepertinya saya tidak tahu mengapa. Untuk pengujian, saya menggunakan daftar input [1..100000000](100 juta). Yang terakhir...
Baru-baru ini, saya mulai belajar Haskell karena saya ingin memperluas pengetahuan saya tentang pemrograman fungsional dan saya harus mengatakan saya sangat menyukainya sejauh ini. Sumber daya yang saya gunakan saat ini adalah kursus 'Haskell Fundamentals Part 1' di Pluralsight. Sayangnya saya...
Fakta benar yang bagus tentang penggabungan adalah bahwa jika saya tahu ada dua variabel dalam persamaan: a ++ b = c Lalu aku tahu yang ketiga. Saya ingin menangkap ide ini di konser saya sendiri jadi saya menggunakan dependensi fungsional. {-# Language DataKinds, GADTs, FlexibleContexts,...
Saya baru-baru ini mengalami situasi di mana saya harus melewati fungsi predikat ke fungsi lain, dan cukup sering logika yang saya cari pada dasarnya adalah "apakah nilai ini cocok dengan pola ini?" Pencocokan pola tampaknya lebih disukai dalam deklarasi, doblok, dan daftar pemahaman, tetapi ada...
Saya melihat perilaku yang sangat aneh di mana bracketfungsi Haskell berperilaku berbeda tergantung pada apakah stack runatau stack testtidak digunakan. Pertimbangkan kode berikut, di mana dua tanda kurung bersarang digunakan untuk membuat dan membersihkan wadah Docker: module Main where import...
Dengan batasan kuantitatif saya dapat memperoleh dengan Eq (A f)baik? Namun, ketika saya mencoba untuk menurunkan Ord (A f) gagal. Saya tidak mengerti bagaimana menggunakan batasan terkuantifikasi ketika kelas kendala memiliki superclass. Bagaimana cara mendapatkan Ord (A f)dan kelas lain yang...
Saya mencoba memahami tipe Eksistensial di Haskell dan menemukan PDF http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Harap perbaiki pemahaman saya di bawah yang saya miliki sampai sekarang. Jenis Eksistensial tampaknya tidak tertarik pada jenis yang dikandungnya tetapi...
Saya mencoba membuat fungsi F # yang akan mengembalikan jumlah daftar dari intnestedness yang berubah-ubah. Yaitu. itu akan bekerja untuk list<int>alist<list<int>> dan a list<list<list<list<list<list<int>>>>>>. Di Haskell saya akan menulis...
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...
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...