Bagaimana saya bisa membuat esqueleto menghasilkan string SQL dari frompernyataan? Dokumentasi toRawSqlmengatakan bahwa "Anda hanya dapat mengaktifkan pencatatan kueri yang persisten". Saya mencoba semua kemungkinan bentuk MonadLoggeryang bisa saya mengerti, tetapi tidak pernah mencetak SQL apa...
Menurut pemahaman saya, fungsi parsial adalah fungsi yang kita dapatkan dengan melewatkan lebih sedikit parameter ke fungsi daripada yang diharapkan. Misalnya, jika ini secara langsung valid dengan Python: >>> def add(x,y): ... return x+y ... >>> new_function =...
Saat ini saya sedang mengerjakan penerjemah sederhana untuk bahasa pemrograman dan saya memiliki tipe data seperti ini: data Expr = Variable String | Number Int | Add [Expr] | Sub Expr Expr Dan saya memiliki banyak fungsi yang melakukan hal-hal sederhana seperti: -- Substitute a value for a...
Saya mengalami masalah estetika kecil dalam proyek musik saya dan itu telah mengganggu saya selama beberapa waktu. Saya memiliki tipe data Key = C | D | ...dan saya dapat membangun Scaledari Keydan Mode. Yang Modemembedakan antara skala mayor dan minor. Saya dapat mendefinisikan Modetipe sebagai...
Dalam modul System.Infosaya melihat fungsi-fungsi ini: os :: String arch :: String compilerName :: String compilerVersion :: Version Mengapa tidak IOada? Mereka mengakses sistem ... Apakah saya salah? Harapan saya adalah sesuatu seperti: os :: IO String arch :: IO String compilerName :: IO...
Misalkan saya memiliki parameter yang hanya ada untuk kepentingan sistem tipe, misalnya seperti dalam program kecil ini: {-# LANGUAGE GADTs #-} module Main where import Data.Proxy import Data.List data MyPoly where MyConstr :: Proxy a -> a -> (Proxy a -> a -> Int -> Int) ->...
Saya sedang belajar Aplikasi Haskell. Sepertinya saya (saya mungkin salah) bahwa purefungsi ini tidak benar-benar diperlukan, misalnya: pure (+) <*> [1,2,3] <*> [3,4,5] dapat ditulis sebagai (+) <$> [1,2,3] <*> [3,4,5] Adakah yang bisa menjelaskan manfaat yang diberikan...
Proposisi (P -> Q) -> Qdan P \/ Qsetara. Apakah ada cara untuk menyaksikan kesetaraan ini di Haskell: from :: Either a b -> ((a -> b) -> b) from x = case x of Left a -> \f -> f a Right b -> \f -> b to :: ((a -> b) -> b) -> Either a b to = ??? seperti...
Pertanyaan ini tidak subyektif. Kata kerja yang sangat spesifik digunakan dalam buku yang direferensikan, dan saya ingin memahami apa implikasi dari ungkapan itu, karena saya khawatir saya salah memahami sesuatu. Dari Learn You a Haskell , paragraf berikut adalah paragraf ketiga dan terakhir yang...
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
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...
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:...
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 | A| … | F| a| … |f...
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...
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...
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,
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...
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...
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...
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 |...