«haskell» etiketlenmiş sorular

Kompozisyon altında uygulama işlevlerinin kapalı olduğu ancak monadların kapalı olduğu iyi bilinmektedir. Bununla birlikte, monadların her zaman beste yapmadığını gösteren somut bir karşı örnek bulmakta zorlanıyorum. Bu cevap , [String -> a]monad olmayan bir örnek olarak verir . Bir süre onunla oynadıktan sonra, sezgisel olarak inanıyorum, ancak bu cevap, gerçekten …

82 haskell  monads  composition  proof 

GHCi içinde bu işlevin ( Learnyouahaskell'den alınmıştır ) eşdeğerini nasıl tanımlayabilirim ? import Data.List numUniques :: (Eq a) => [a] -> Int numUniques = length . nub Tür bildirimi olmadan, GHCi işlev tanımını kabul eder, ancak işe yaramaz bir türle sonuçlanır: Prelude Data.List> import Data.List Prelude Data.List> let numUniques' = …

82 haskell  types  ghci  function-declaration 

Bu terimi haskell ve fonksiyonel programlama hakkındaki bloglarda çok okudum (özellikle sigfpe blogunda ) ama ne anlama geldiğine dair bir fikrim yok. Çoğu zaman bilmemekten kurtuldum, ama bilseydim muhtemelen metinleri çok daha iyi anlardım. Google bana yardım etmedi. Teknik şeylerin içinde kayboluyorum. Ayrıca dünyanın teknik olmayan anlamı ("soyut somut olanı …

82 haskell  functional-programming  metaprogramming  terminology  reification 

Anladığım kadarıyla, kısmi işlevler, bir işleve beklenenden daha az parametre ileterek elde ettiğimiz işlevlerdir. Örneğin, bu doğrudan Python'da geçerliyse: >>> def add(x,y): ... return x+y ... >>> new_function = add(1) >>> new_function(2) 3 Yukarıdaki pasajda new_functionkısmi bir işlev vardır. Ancak, Haskell Wiki'ye göre , kısmi fonksiyonun tanımı Kısmi işlev, belirtilen …

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

Şu anda bir programlama dili için basit bir tercüman üzerinde çalışıyorum ve böyle bir veri türü var: data Expr = Variable String | Number Int | Add [Expr] | Sub Expr Expr Ve basit işler yapan birçok fonksiyonum var: -- Substitute a value for a variable substituteName :: String -> …

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

Müzik projemde küçük bir estetik sorunla karşılaştım ve bir süredir beni rahatsız ediyor. Bir tipim var data Key = C | D | ...ve Scalea Keyve a ' dan a oluşturabilirim Mode. ModeBüyük ve küçük ölçekli örneğin arasındaki farklılaşacaktır. I tanımlayabilir Modebir fonksiyonu olarak türü Keyiçin Scale. Bu durumda, modların …

39 haskell  dsl 

Modülde System.Infoşu işlevleri görüyorum: os :: String arch :: String compilerName :: String compilerVersion :: Version Neden orada yok IO? Sisteme erişiyorlar ... Yanlış mıyım? Benim beklentim şöyleydi: os :: IO String arch :: IO String compilerName :: IO String compilerVersion :: IO Version Kullanım örneği: print os -- "darwin" …

25 haskell 

Örneğin, bu küçük programda olduğu gibi yalnızca tür sisteminin faydası için var olan bir parametreniz olduğunu varsayalım: {-# 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 

Haskell'in Uygulamalarını öğreniyorum. Görünüşe göre (muhtemelen yanılıyorum) pureişleve gerçekten ihtiyaç duyulmuyor, örneğin: pure (+) <*> [1,2,3] <*> [3,4,5] olarak yazılabilir (+) <$> [1,2,3] <*> [3,4,5] Birisi pureişlevin açık eşleme üzerinde sağladığı faydaları açıklayabilir fmapmi?

19 haskell  applicative 

Bu soru öznel değil. Referans verilen kitapta çok spesifik bir fiil kullanılır ve bu ifadenin ne anlama geldiğini anlamak istiyorum, çünkü korkarım bir şeyi yanlış anlıyorum. Dan You Bir Haskell bilgi , aşağıdaki paragraf "Biz varsayalım içeren üçüncü ve sonuncusu *". data Barry t k p = Barry { yabba …

18 haskell 

Öneriler (P -> Q) -> Qve P \/ Qeşdeğerdir. Haskell'de bu denkliğe şahit olmanın bir yolu var mı: 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 

Bana göre, bir typeclass kullanmak yerine her zaman işlev argümanlarını iletebilirsiniz. Örneğin, eşitlik tip sınıfını tanımlamak yerine: class Eq a where (==) :: a -> a -> Bool Ve tür argümanını belirtmek için diğer işlevlerde kullanmak aşağıdakilerin bir örneği olmalıdır Eq: elem :: (Eq a) => a -> [a] -> …

16 haskell  functional-programming  higher-order-functions 

Bu soru Haskell fonksiyonları ile ilgili her türlü argümanı alabilen teorik bir sorudur. İşlevin tür imzalarıyla işlevler arasında bir fark var mı? a -> b -> a ve c -> a -> c somutlaştırılıyor mu? Herhangi bir yardım takdir.

16 haskell  functional-programming 

Şu anda Haskell'i inceliyorum ve kriptografik algoritmalar uygulamak için Haskell'i kullanan bir projeyi anlamaya çalışıyorum. Online Great Good için Haskell Öğrenin'i okuduktan sonra bu projedeki kodu anlamaya başlıyorum. Sonra ben "@" sembolü ile aşağıdaki kod takılı kalmış bulundu: -- | Generate an @n@-dimensional secret key over @rq@. genKey :: forall …

15 haskell  symbols  operator-keyword  as-pattern 

Bir alıştırma olarak, Haskell için sıfırdan bir ayrıştırıcı yazıyorum. Lexer'ı hazırlarken Haskell 2010 Raporunda aşağıdaki kuralları fark ettim : basamak → ascDigit | uniDigit ascDigit → 0| 1| … | 9 uniDigit → herhangi bir Unicode ondalık basamaklı oktit → 0| 1| … | 7 hexit → basamak | A| …

15 haskell  syntax  language-lawyer  literals