Pertanyaan yang diberi tag «haskell»

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 MultiParamTypeClasses, TypeOperators, InstanceSigs, TypeSynonymInstances …

11 haskell  monads  continuations  category-theory  comonad 

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 di jalur yang berbeda seperti ini unit module …

11 haskell  raku 

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 = Id String badKey :: Id …

11 haskell  roles  coerce 

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 sesuatu seperti: class HasSum a where getSum :: a -> Integer instance HasSum Integer where getSum = id instance HasSum a …

10 haskell  f# 

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 pola yang cocok dengan mereka mengatakan bahwa ada beberapa jenis kita tidak tahu apa jenisnya sampai & kecuali …

10 haskell  gadt  existential-type 

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 memiliki kacamata super? > newtype A f = A …

10 haskell  typeclass  derived-class  quantified-constraints 

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 Control.Concurrent import Control.Exception import System.Process main :: IO () main …

10 haskell  haskell-stack 

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 sejumlah fungsi yang mengambil predikat …

10 haskell 

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, FlexibleInstances, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, …

10 haskell  typeclass  functional-dependencies  type-level-computation 

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 mengalami kesulitan memahami satu kutipan khusus dari dosen tentang …

10 haskell 

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 berjalan hampir secara instan sedangkan yang lain membutuhkan …

10 haskell 

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

10 haskell  pattern-matching 

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 …

10 haskell  tree  binary-tree  binary-search-tree  predicate 

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 #-} module Main where import Control.Lens import GHC.Records data Glass r = Glass -- just a …

9 haskell  typeclass  typechecking 

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, katakanlah x^2 + 1 = 1, serta definisi …

9 haskell  casting  type-conversion  ghc  typeclass