Pertanyaan yang diberi tag «haskell»

Saya agak bingung dengan dokumentasinya fix(meskipun saya pikir saya mengerti apa yang seharusnya dilakukan sekarang), jadi saya melihat kode sumbernya. Itu membuat saya lebih bingung: fix :: (a -> a) -> a fix f = let x = f x in x Bagaimana tepatnya ini mengembalikan titik tetap? Saya memutuskan …

88 haskell  fixpoint-combinators  letrec 

Potongan kode Haskell ini berjalan jauh lebih lambat -O, tetapi -Oseharusnya tidak berbahaya . Adakah yang bisa memberi tahu saya apa yang terjadi? Jika penting, ini merupakan upaya untuk memecahkan masalah ini , dan menggunakan pencarian biner dan pohon segmen persisten: import Control.Monad import Data.Array data Node = Leaf Int …

87 haskell  optimization  ghc  compiler-bug 

Saya baru-baru ini menyelesaikan kursus universitas yang menampilkan Haskell dan Agda (bahasa pemrograman fungsional jenis dependen), dan bertanya-tanya apakah mungkin untuk mengganti kalkulus lambda dengan logika kombinatori. Dengan Haskell ini tampaknya mungkin menggunakan kombinator S dan K, sehingga membuatnya bebas poin. Saya bertanya-tanya apa padanannya untuk Agda. Yaitu, dapatkah seseorang …

87 haskell  types  functional-programming  logic  agda 

Di GHCi: Prelude> error (error "") *** Exception: Prelude> (error . error) "" *** Exception: *** Exception: Mengapa yang pertama bukan pengecualian bersarang?

87 exception  haskell 

Saat menyusun aplikasi Haskell saya dengan -Wallopsi tersebut, GHC mengeluh tentang instans yatim piatu, misalnya: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result Jenis kelas ToSElembukan milik saya, ini ditentukan oleh HStringTemplate . Sekarang saya tahu cara memperbaikinya (pindahkan deklarasi instance ke modul tempat Hasil dideklarasikan), dan saya tahu mengapa GHC …

87 haskell  ghc  typeclass 

Saya mencoba memahami apa yang dilakukan operator titik dalam kode Haskell ini: sumEuler = sum . (map euler) . mkList Seluruh kode sumber ada di bawah. Pemahaman saya Operator titik mengambil dua fungsi sumdan hasil dari map eulerdan hasil mkListsebagai masukan. Tapi, sumbukankah sebuah fungsi itu adalah argumen dari fungsinya, …

87 haskell  syntax  function-composition 

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 pun. Dokumentasi yang sama juga mengatakan "secara manual menggunakan fungsi ini ... mungkin tetapi …

86 haskell  yesod  esqueleto 

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 = add(1) >>> new_function(2) 3 Dalam cuplikan di atas, new_functionadalah fungsi parsial. Namun, …

55 python  haskell  functional-programming  partial-application  partial-functions 

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 variable substituteName …

50 haskell  functional-programming  dry  code-duplication  recursive-type 

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 fungsi dari Keyhingga Scale. …

39 haskell  dsl 

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 String compilerVersion :: IO Version Gunakan …

25 haskell 

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) -> MyPoly listOfPolys :: …

22 haskell  phantom-types 

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 purefungsi tersebut daripada pemetaan eksplisit fmap?

19 haskell  applicative 

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 mengandung "kami berasumsi *". data Barry …

18 haskell 

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 :: …

18 haskell  logic