«haskell» etiketlenmiş sorular

Birçok optik türü van Laarhoven temsiline sahiptir. Örneğin, a Lenstipi Lens s t a b şu şekilde temsil edilebilir: Functor f => (a -> f b) -> s -> f t Benzer şekilde, a Traversal, aşağıdakiler için Functorkısıtlamayı değiştirerek benzer bir şekilde temsil edilebilir Applicative: Applicative f => (a -> …

15 scala  haskell  functional-programming  lenses  monocle-scala 

Haskell projemde stack run, aşağıdakileri gösteriyor, ama hala çalışıyor. Bu ne uyarısı? Ondan nasıl kurtulabilirim? 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 2.4, but version 3.0.1.0 was found, this may fail

14 haskell  cabal  haskell-stack 

Real World Haskell, bölüm 4, sayfa 98,words kıvrımlar kullanılarak uygulanıp uygulanamayacağını soruyor ve bu da benim sorum: Mümkün mü? Değilse, neden? Eğer öyleyse, nasıl? Ben her boşluk olmayan çıktı listesindeki son sözcüğe (bu otherwisenöbetçi olur ) başlaması gerektiğini ve bir boşluk emtpy kelimesinin eklenmesini tetiklemek gerekir fikrine dayanan aşağıdaki ile …

14 haskell  functional-programming  fold 

Ben 0 ile 5 değerleri olan bir liste temsil etmek için bir tür tanımlamak zorunda bir egzersiz var. İlk olarak bunu tekrar tekrar böyle çözebileceğimi düşündüm: data List a = Nil | Content a (List a) Ama bunun doğru bir yaklaşım olduğunu düşünmüyorum. Bana bir düşünce yemeği verir misin?

14 haskell 

Hesaplarken IO (IO ()), hem (IO ())ve hem de ()hesaplanır, bu yüzden neden main :: IO (IO ()) main = print <$> (print "Hello, World!") Yazdır "Hello, World!" değil IO "Hello, World!" -- ?? "Hello, World!"

14 haskell 

Haskell Kütüphanesi'nin Kısıtlı Bölümünde dolaşıyordum ve şu iki aşağılık büyüyü buldum: {- System.IO.Unsafe -} unsafeDupablePerformIO :: IO a -> a unsafeDupablePerformIO (IO m) = case runRW# m of (# _, a #) -> a {- Data.ByteString.Internal -} accursedUnutterablePerformIO :: IO a -> a accursedUnutterablePerformIO (IO m) = case m realWorld# …

13 haskell  io  unsafe  unsafe-perform-io 

Ghci'de, yazdığımda :t (-) türünü anlamak (-)için geri döner (-) :: Num a => a -> a -> a Ancak, -1haskell yazdığımda , bu (-)tür olduğunu ima eden bir sayı döndürür Num a => a -> a. (-)Görünüşte iki farklı tip nasıl olabilir ?

12 haskell 

seasonFonksiyonu cebirsel fonksiyonlar kullanır ama kod tekrarlayan gibi hissediyorum. Mümkün olduğunca kısa nasıl yapabilirim? data Month = Jan | Feb | Mar | Apr | May | June | July | Aug | Sept| Oct | Nov | Dec deriving (Eq,Ord,Show,Read) data Seasons = Spring | Summer | Autumn | …

12 haskell  algebraic-data-types 

Bu bir yere geldi ama bunun nasıl çalıştığını bilmek istiyorum kodu: findIndices :: (a -> Bool) -> [a] -> [Int] findIndices _ [] = [] findIndices pred xs = map fst (filter (pred . snd) (zip [0..] xs)) Çıktı: findIndices (== 0) [1,2,0,3,0] == [2,4] ; burada pred (== 0) …

12 haskell  composition  higher-order-functions  function-composition  pointfree 

GHCi neden aşağıda yanlış cevap veriyor? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 Python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 GÜNCELLEME Haskell (^) fonksiyonunu aşağıdaki gibi uygularım. powerXY :: Double -> Int -> Double powerXY x 0 = 1 powerXY x y | y < 0 = powerXY (1/x) (-y) | otherwise …

12 haskell  floating-point  ghc  ghci 

Tıpkı başlığın dediği gibi: Haskell fonksiyon geri dönen birimin değerlendirilmesi için ne gibi garantiler var? Böyle bir durumda herhangi bir değerlendirme yapmaya gerek olmadığını düşünebiliriz, ()açık bir kesinlik talebi olmadığı sürece derleyici bu tür tüm çağrıları hemen bir değerle değiştirebilir , bu durumda kodun gerekip gerekmediğine karar vermesi gerekebilir dönüş …

12 haskell  language-lawyer  lazy-evaluation  semantics  unit-type 

Devlet monad Ürün (Sol - Functor) ve Okuyucu (Sağ Temsil Edilebilir) içine çarpanlarına ayrılabilir. Devam Monad'ı çarpanlarına ayırmanın bir yolu var mı? Kod aşağıda benim girişim, hangi tip kontrol alışkanlık -- To form a -> (a -> k) -> k {-# LANGUAGE MultiParamTypeClasses, TypeOperators, InstanceSigs, TypeSynonymInstances #-} type (<-:) o …

11 haskell  monads  continuations  category-theory  comonad 

Bazı bölümleri içeren bir çizim paketi yazıyorum ve işleçler ve veri türlerinin dağılması var. Ancak kullanıcıların her seferinde karşılık gelen modülleri eklemelerini istemiyorum, çünkü oldukça dağınık olurdu, örneğin bir Pointsınıf, bir Monoidrol ve Styleböyle farklı yollarda bir sınıf olurdu unit module Package::Data::Monoid; # $?FILE = lib/Package/Data/Monoid.pm6 role Monoid {...} unit …

11 haskell  raku 

Bir türü var Id ave ben mesela yanlışlıkla coercing, bir engel olmaya çalışıyorum Id Doublebir etmek Id Int. Yazım rollerini doğru anlarsam, aşağıdakiler derlenmemelidir. {-# LANGUAGE RoleAnnotations #-} import Data.Coerce (coerce) type role Id nominal newtype Id a = Id String badKey :: Id Int badKey = coerce (Id "I …

11 haskell  roles  coerce 

Ben intrasgele iç içe geçmiş s listesinin toplamını döndürecek bir F # işlevi oluşturmaya çalışıyorum . Yani. a list<int>, a list<list<int>>ve a için çalışacaktır list<list<list<list<list<list<int>>>>>>. Haskell'de şöyle bir şey yazardım: class HasSum a where getSum :: a -> Integer instance HasSum Integer where getSum = id instance HasSum a => …

10 haskell  f#