«typeclass» etiketlenmiş sorular

Haskell'i öğrenirken, Haskell'den kaynaklanan harika bir icat olduğu varsayılan yazı sınıfını fark ettim . Bununla birlikte, Wikipedia sayfasında type sınıfında : Programcı, sınıfa ait her tür için var olması gereken ilgili türleriyle birlikte bir dizi işlev veya sabit isim belirleyerek bir tür sınıfını tanımlar. Bana göre Java Arayüzüne oldukça yakın …

112 java  haskell  interface  typeclass 

Haskell'deki Comonad tip sınıfı nedir? Comonad paketindeki Control.Comonad'dan Comonad'da olduğu gibi (Comonad tip sınıfını sağlayan diğer paketlerin açıklamalarına da açığız). Komonad hakkında belirsiz bir şekilde duydum, ama gerçekten tek bildiğim, bunun Monad'lara extract :: w a -> abir çeşit paralellik sağladığı return :: a -> m a. Comonad'ın "gerçek" kullanımlarını …

105 haskell  typeclass  comonad 

Cebirsel Veri Türleri Haskell (ADTS) otomatik olarak bazı örneklerini olabilir typeclasse s (gibiShow,Eqtarafından) kaynaklanan onlardan. data Maybe a = Nothing | Just a deriving (Eq, Ord) Sorum şu, bu nasıl derivingçalışıyor, yani Haskell ADT'yi türetmek için türetilmiş tip sınıfının işlevlerini nasıl uygulayacağını nasıl biliyor? Ayrıca, neden derivingyalnızca belirli tip sınıflarıyla …

104 haskell  typeclass  derived-types  derived-instances  deriving 

Haskell uygulamamı bu -Wallseçenekle derlerken , GHC öksüz örneklerden şikayet ediyor, örneğin: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result Tür sınıfı ToSElembenim değil, HStringTemplate tarafından tanımlandı . Şimdi bunu nasıl düzelteceğimi biliyorum (örnek bildirimini Sonucun bildirildiği modüle taşıyın) ve GHC'nin neden öksüz örneklerden kaçınmayı tercih ettiğini biliyorum , ancak yine …

87 haskell  ghc  typeclass 

Verilen : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Şunun Stringbir örneğini yapmak istiyorum Fooable: instance Fooable String where toFoo = FooString GHC daha sonra şikayet ediyor: Illegal instance declaration for `Fooable String' (All …

85 haskell  ghc  typeclass  type-systems 

Nicel kısıtlamalar ile Eq (A f)iyi para cezası alabilir miyim? Ancak, Ord (A f) 'yi türetmeye çalıştığımda başarısız olur. Kısıtlama sınıfının bir üst sınıfı olduğunda nicelenmiş kısıtlamaları nasıl kullanacağımı anlamıyorum. Ord (A f)Üst sınıf olan diğer sınıfları nasıl türetebilirim ? > newtype A f = A (f Int) > deriving …

10 haskell  typeclass  derived-class  quantified-constraints 

Birleştirme hakkında güzel bir gerçek gerçeği, denklemde herhangi bir iki değişken biliyorsanız: a ++ b = c Sonra üçüncüyü biliyorum. Bu fikri kendi aklımda yakalamak istiyorum, böylece işlevsel bir bağımlılık kullanıyorum. {-# Language DataKinds, GADTs, FlexibleContexts, FlexibleInstances, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, UndecidableInstances #-} import Data.Kind (Type) class Concatable (m :: …

10 haskell  typeclass  functional-dependencies  type-level-computation 

Ben kullandığı bu (muhakkak garip) koduna sahip lens ve GHC.Records : {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Main where import Control.Lens import GHC.Records data Glass r = Glass -- just a dumb …

9 haskell  typeclass  typechecking 

Sorun Haskell'de aşağıdaki tasarım sorununu düşünün. Değişkenleri ve genel ifadeleri (çok değişkenli polinomlar) ifade etmek istediğim basit, sembolik bir EDSL var x^2 * y + 2*z + 1. Buna ek olarak, ben ifadeler, diyelim üzerinde belirli sembolik denklemler ifade etmek istiyorum x^2 + 1 = 1, hem de tanımları gibi …

9 haskell  casting  type-conversion  ghc  typeclass