haskell

5ısı

1cevap

için "MonadTransControl" örneği yok. Bunu nasıl uygulayacağımı bilmiyorum ve bunu yapmanın bir yolu olmadığını farz ediyorum. Yapılamadığına dair bir kanıt veya ikna edici bir kanıt var mı? ContT ne ö

6ısı

1cevap

'Nat'

ile eşleşemedi Bir dizenin N karakterden daha az olmasını garanti eden bir tür oluşturmaya çalışıyorum. src/Simple/Reporting/Metro2/TextMax.hs:18:50: error: • Couldn't match kind ‘*’ with ‘Nat’

8ısı

1cevap

Bu kod neden "tip ailelerin doygunluk gereksinimini" ihlal etmiyor?

Bir tür düzeyinde liste üzerinde bir tür ailesini haritalama (singletons kütüphanesinden itlaf) bu asgari çalışma örneği vardır: ghci> :set -XDataKinds ghci> :kind! Map (TyCon1 Flip) '[Char,Int] Map

7ısı

1cevap

Haskell - case ifadesi

Ben Learn you a haskell kitabın içinden gidiyorum ve Bölüm 8'de Bu işler bu data LockerState = Taken | Free deriving (Eq, Show) type Code = String type LockerMap = Map.Map Int (LockerState, Code)

10ısı

1cevap

GHC 7.10'da tip denetimi yapılan bu kod neden GHC 8.0.1'de yazım denetimi yapmıyor?

Aşağıdaki kodu var: {-# LANGUAGE DefaultSignatures#-} import Control.Monad.Trans.Class import Control.Monad.Trans.Maybe class Monad m => MonadMaybe m where liftMaybe :: Maybe a -> m a d

7ısı

1cevap

HasCallStack, withFrozenCallStack ile birlikte neden yığın çerçeveler ekliyor?

GHC 8, GHC.Stack modülünden HasCallStack modülünü sağlar; bu sayede işlevler istendiğinde bir yığın çerçevesinin kaydedilmesini isteyebilir. Ayrıca çağrı yığınını “donduran” withFrozenCallStack işlevi

6ısı

1cevap

Haskell'de İzomorfik fomp

Haskell'in Prelüdünde böyle bir şey var mı? Üzerinde çalıştığım bir projede wfmap :: Functor f => a -> (a -> b) -> (b -> a) -> (b -> f b) -> f a wfmap x u w g = fmap (w)

6ısı

1cevap

Bir haskell "withSubprocess" bir blok blogu etrafında inşa

Test için Haskell WebDriver selenyum paketi aracılığıyla çalışıyorum, here. Bu örnek var: import Test.WebDriver firefoxConfig :: WDConfig firefoxConfig = defaultConfig main :: IO() main = runSes

8ısı

1cevap

Tip-indeksli GADTs

forall hakkında kafam karıştı 'tür' GHC 8.0.1'de tür-tür imzaları türüne karşı farklı tür kontrolleri üreten türlere tanıtılan (?) GADT'lerle garip bir durumla karşılaştım davranışlar. aşağıdaki veri

6ısı

1cevap

Bunun için kullanılan bifuntörler, functor'lar oluşturularak elde edilemez mi?

Haskell'e nispeten yeniyim ve bifuntörlerin kullanımını anlamakta zorluk çekiyorum. Bunları teoride anladığımı düşünüyorum: örneğin, Ya ya da Belki gibi birden çok somut türde soyutlayan bir tipte har