ghc

8ısı

1cevap

Niçin 'yabancı ithalat prim güvensiz' yok?

Bu, önceki soruma ait here numaralı takip için bir takiptir. Ben __pkg_ccall_GC bkz ben Reid Barton's answer başına çalışan bir şey almak mümkün oldum ama özünde fark: case {__pkg_ccall_GC hashable

5ısı

1cevap

Yüksek kinder tipi değişkenlerle türetme

Parametrelerden birinin daha iyi bir tür (* -> *) olduğu bir polimorfik türüm var. data Tricky m = Tricky { numbers :: m Int, genesis :: m String } Arcane ve güvensiz dil uzantıları kullanmadan bu t

7ısı

1cevap

Neden haskell'in ağ kitaplığı engelleme olmayan soketleri kullanır?

network kitaplığındaki bir tasarım kararını daha iyi anlamaya çalışıyorum. Saygın kaynaklar, a github issue ve mailing list response numaralı telefonlarda network'un bloke olmayan soketler kullanmasın

9ısı

1cevap

bu kodu düşünün bir tür hatasının

düzeltir. Foo.hs:16:17: Could not deduce (Foo a) arising from a use of ‘bar’ from the context (SomeClass a) bound by the type signature for foo :: SomeClass a => a -> Int at Foo.

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

12ısı

1cevap

GHC 8.0.1 kilitleniyor. Açıklama veya derleyici hatası?

Birisi, aşağıdaki kodun neden GHC 8.0.1'in neden derlenmesinde döngü oluşturduğunu açıklayabilir mi, yoksa bu bir hata mıdır? {-# LANGUAGE TypeFamilyDependencies #-} {-# LANGUAGE FlexibleInstances #-

5ısı

1cevap

Statik olarak bağlantılı ikili dosyada eksiklik hata ayıklama sembolleri

Yığın kullanarak statik olarak bağlantılı ikili yapıyorum ve buna hata ayıklama simgeleri eklemeye çalışıyorum (aşağıdaki: https://downloads.haskell.org/~ghc/master/users-guide/debug-info.html). Ancak

6ısı

1cevap

Ayıklanıyor Ben <code>Outputable</code> yoluyla <code>String</code> gibi bir Haskell kaynağının STG gösterimini elde etmek için çalışıyorum

Haskell STG Kaynak, ama coreToStgArgs aşağıdaki dökümü ile panicing görülmektedir.Bütün: Burada [email protected] ~/Desktop/hue $ runhaskell test.hs [foo :: forall a. Num a => a -> a [GblId, Arity=2

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

5ısı

1cevap

Haskell içinde nasıl TypeApplications kullanıyorsunuz?

GHC 8.0'da -XTypeApplications ile, @ önceki işlev bağımsız değişkenleriyle açık bir şekilde belirtebilirsiniz. Özellikle birkaç @ kullanıldığında tam olarak hangi türler belirtilir? Eğer bir fonksiyon