«haskell» etiketlenmiş sorular

Haskell'deki Varoluşçu türleri anlamaya çalışıyorum ve bir PDF ile karşılaştım http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Lütfen şimdiye kadar sahip olduğum aşağıdaki anlayışlarımı düzeltin. Varoluşçu Türler içerdikleri türle ilgilenmiyor gibi gözükmektedir, ancak bunlarla eşleşen desen, Typeable veya Data kullanana kadar ne tür olduğunu bilmediğimiz bir tür olduğunu söylüyor. Türleri Gizlemek istediğimizde kullanırız (örn: Heterojen Listeler …

10 haskell  gadt  existential-type 

Nicel kısıtlamalar ile Eq (A f)iyi para cezası alabilir miyim? Ancak, Ord (A f) 'yi türetmeye çalıştığımda başarısız olur. Kısıtlama sınıfının bir üst sınıfı olduğunda nicelenmiş kısıtlamaları nasıl kullanacağımı anlamıyorum. Ord (A f)Üst sınıf olan diğer sınıfları nasıl türetebilirim ? > newtype A f = A (f Int) > deriving …

10 haskell  typeclass  derived-class  quantified-constraints 

Ben Haskell'ın çok garip bir davranış görüyorum bracketişlevi farklı davranıyor olmasına bağlı olduğu stack runveya stack testkullanılır. Docker kapsayıcılarını oluşturmak ve temizlemek için iki iç içe parantez kullanılan aşağıdaki kodu göz önünde bulundurun: module Main where import Control.Concurrent import Control.Exception import System.Process main :: IO () main = do bracket …

10 haskell  haskell-stack 

Son zamanlarda, bir yüklem işlevini başka bir işleve geçirmem gereken durumlarda çalışıyorum ve sık sık aradığım mantık aslında "bu değer bu modelle eşleşiyor mu?" Desen eşleştirme, bildirimlerde, dobloklarda ve liste kavrayışlarında tercih edilir gibi görünür , ancak bir a -> Boolşekilde bir desende geçmenin çok kullanışlı olacağı bir yüklem alan …

10 haskell 

Birleştirme hakkında güzel bir gerçek gerçeği, denklemde herhangi bir iki değişken biliyorsanız: a ++ b = c Sonra üçüncüyü biliyorum. Bu fikri kendi aklımda yakalamak istiyorum, böylece işlevsel bir bağımlılık kullanıyorum. {-# Language DataKinds, GADTs, FlexibleContexts, FlexibleInstances, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, UndecidableInstances #-} import Data.Kind (Type) class Concatable (m :: …

10 haskell  typeclass  functional-dependencies  type-level-computation 

Son zamanlarda Haskell öğrenmeye başladım çünkü fonksiyonel programlama hakkındaki bilgilerimi genişletmek istedim ve bunu şimdiye kadar gerçekten sevdiğimi söylemeliyim. Şu anda kullandığım kaynak Çoğul Görüş'teki 'Haskell Fundamentals Bölüm 1' dersidir. Ne yazık ki aşağıdaki kod hakkında öğretim elemanının belirli bir alıntı anlamakta biraz zorluk var ve çocuklar konuya biraz ışık …

10 haskell 

Bir listede son fakat ikinci elemanı bulan 3 fonksiyon bulunmaktadır. Kullanan last . initdiğerlerinden çok daha hızlı görünüyor. Nedenini anlayamıyorum. Test için, [1..100000000](100 milyon) giriş listesi kullandım . Sonuncusu neredeyse anında çalışır, diğerleri ise birkaç saniye sürer. -- slow myButLast :: [a] -> a myButLast [x, y] = x myButLast …

10 haskell 

Şu anda böyle bir fonksiyonla uğraşıyorum: foo = (\(a:b:c:d:e:f:_) -> foobar a b c d e f) . (++ repeat def) Başka bir deyişle, bir liste verildiğinde, bir şey için ilk altı öğeyi kullanır ve liste altı öğeden daha kısasa def, eksik olanlar için bir stand-in olarak kullanır . Bu …

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 

Ben kullandığı bu (muhakkak garip) koduna sahip lens ve GHC.Records : {-# 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 dumb …

9 haskell  typeclass  typechecking 

Sorun Haskell'de aşağıdaki tasarım sorununu düşünün. Değişkenleri ve genel ifadeleri (çok değişkenli polinomlar) ifade etmek istediğim basit, sembolik bir EDSL var x^2 * y + 2*z + 1. Buna ek olarak, ben ifadeler, diyelim üzerinde belirli sembolik denklemler ifade etmek istiyorum x^2 + 1 = 1, hem de tanımları gibi …

9 haskell  casting  type-conversion  ghc  typeclass 

ApplicativeTypeclass temsil gevşek monoidal fanktorlar o yazdığınız fonksiyonları kategorisine kartezyen monoidal yapısını korumak. Başka bir deyişle, (,)monoidal bir yapı oluşturan tanık kanonik izomorfizmlere bakıldığında : -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, (b, c)) -> ((a, b), c) …

9 haskell  functor  applicative  category-theory 

Şimdi birkaç kez karşılaştığım bir desen, üzerinde bir test eşleştirerek ve öğelerin herhangi birinin veya tamamının geçip geçmediğini görerek bir değer listesinin kontrol edilmesi gereken modeldir. Tipik çözüm sadece kullanışlı dahili ins kullanmaktır allve any. Sorun, bunların seri olarak değerlendirilmesi. Birçok durumda, herhangi bir iş parçacığı için bir "Yanlış" veya …

9 haskell  testing  concurrency  parallel-processing  any 

Bazı rahatsız edici şeyler üzerinde tökezledim. Haskell'in zayıf kafa normal formu (WHNF) ile çalıştığını biliyorum ve bunun ne olduğunu biliyorum. Aşağıdaki kodu ghci'ye yazarak (şu komutu kullanıyorum: ifadeyi WHNF'ye bilgime indirgeyen sprint): let intlist = [[1,2],[2,3]] :sprint intlist veren intlist = _bu markaları tamamen bana seziyorum. let stringlist = ["hi","there"] …

9 haskell  functional-programming  ghci  reduction  weak-head-normal-form 

Haskell öğreniyorum ve anlamak zor bulduğum bu davranış üzerine tökezlediğimde Yesod için basit bir DB-tohum programı yapıyordum: testFn :: Int -> Bool -> [Int] testFn a b = if b then replicate 10 a else [] Yesod GHCI oturumu: $ :t concatMap testFn [3] concatMap testFn [3] :: Bool -> …

9 haskell  traversal