haskell

9ısı

1cevap

Haskell'in 'bile' işlevi neden programımı yavaşlatıyor?

Aşağıdaki kodlarım var. 1000000 argümanı ile çalıştırmak için 1s maliyeti, ancak myEven standart even işleviyle değiştirilecekse 5s maliyeti. Kodu kontrol ettim, standart bile fonksiyonu * myEven * il

5ısı

1cevap

Servant

Temel Kimlik type SubApi = API1 :<|> API2 :<|> API3 type API = BasicAuth "foo-realm" AuthData :> SubApi ile korunan bir API ile özel bir okuyucu Monad ile kimlik doğrulaması kullanılırken tip AuthD

9ısı

1cevap

Yalnızca tek bir işlev (veya maliyet merkezi) GHC ile

GHC profil oluşturma araçlarını kullanarak bazı Haskell kodunu profillemeye çalışıyorum. Bununla birlikte, en çok ilgilendiğim maliyet merkezi, şu anda gerçekten umurumda değil bir dizi başlatma kodu

20ısı

1cevap

<$> Haskell'de ne anlama geliyor?

Bir parça Haskell kodu okurken, bunun üzerine geldim: <$>. Haskell'de ne anlama geliyor? Bazı google aramalarından sonra karanlıkta kalacağım.

6ısı

1cevap

Geçerli kapsamı oluştururken haskell şablonunda dinamik İsim üret

Şablon haskell ekleme yazıyorum ve doğru türde Name s üretmek için mücadele ediyorum. Bilinen bir ad oluşturmak istiyorsam (örneğin, f işlevi), 'f'u kullanabilirim. Bu, nerede kullanıldığımı değil, ta

8ısı

1cevap

Ben geliştirilmesi sırasında her modül için Debug.Trace ithal etmek ghc sorabilir miyim?

başlık yeterince açıklayıcı olduğunu. Sık sık hata ayıklaması yaparken izler ekliyorum, bu da Debug.Trace içe aktarmayı eklemeyi gerektirir. Bununla birlikte, işim bittiğinde onları da sık sık unutuyo

11ısı

2cevap

Haskell Operatörleri için Değişken Özelliği?

Bir operatörün değişmez olduğunu belirtmenin bir yolu var, bu yüzden her iki yönde de aynı tanımları vermek zorunda kalmam. Örneğin: Burada data Nat = Zero | Succ Nat (+) :: Nat -> Nat -> Nat Zero

8ısı

2cevap

Haskell'de bir aile modeli eşleme hatası nasıl tetiklenir?

Haskell, bir tür aile eşleşme hatasını bildirebiliyor mu? Örneğin, kapalı bir tip ailesini kullanarak type family Testf a where Testf Char = IO() Testf String = IO() Testf Int türü sadece

7ısı

1cevap

Tip aile örneklerindeki kısıtlamalar

Haskell'deki tür aileleri araştırıyorum, tanımlayabileceğim tip düzeyindeki işlevlerin karmaşıklığını oluşturmaya çalışıyorum. Ben şöyle bir şey mod kapalı tip düzeyindeki sürümü tanımlamak istiyorum:

5ısı

3cevap

Java'daki İşlevler

Java'daki sınıfları Haskell'in functor'larına benzer şekilde tanımlamaya çalışıyorum. olarak vesile, bir funktor tanımlanır: Bir functor uygulamak istiyorsanız /** * Programming languages allow only