Suchergebnisse für Anfrage "typeclass"
Warum hört Haskell auf, auf die Typklassen des Datentyps in den Funktionssignaturen zu schließen?
Erstens ist diese Frage nicht zu 100% spezifisch für Haskell. Sie können sich gerne zum allgemeinen Design von Schriftklassen, Schnittstellen und Typen äußern. ich leseLYAH - Erstellen von Typen und ...
Haskell-Typen, die eine einfache "Durchschnittsfunktion" vereiteln
Ich spiele mit Anfänger Haskell herum und wollte eine durchschnittliche Funktion schreiben. Es schien das einfachste auf der Welt zu sein, oder? Falsch. Es scheint, als verbiete Haskells Typensystem, durchschnittlich an einem generischen ...
Sind Typensynonyme mit Typklasseneinschränkungen möglich?
Fühlen Sie sich frei, den Titel zu ändern, ich bin einfach nicht erfahren genug, um zu wissen, was wirklich los ist. Also habe ich ein Programm geschrieben, auf dem ich lose ...
Monoid vs MonadPlus [duplizieren]
Diese Frage hat hier bereits eine Antwort: Warum MonadPlus und nicht Monad + Monoid? [/questions/23023961/why-monadplus-and-not-monad-monoid] 2 AntwortenIch bin sehr neu für beideMonads undMonoids und vor kurzem auch über @ gelerMonadPlus. ...
Wie wird eine Show für einen neuen Typ überschrieben?
Ich möchte die standardmäßigen Ganzzahlkonstruktoren in Haskell überschreiben, damit sie Zeichenfolgen erzeugen (hauptsächlich aus Neugier, aber vorübergehend, um eine gute Alternative für die Eingabe von LaTeXs \ frac {} {} Unannehmlichkeiten zu ...
Warum wird der Kontext bei der Auswahl der Typklasseninstanz in Haskell nicht berücksichtigt?
Ich verstehe, dass, wenn mit instance (Foo a) => Bar a instance (Xyy a) => Bar aGHC berücksichtigt die Kontexte nicht und die Instanzen werden als Duplikate gemeldet. Was ist nicht zu verstehen, dass (ich denke) nach der Auswahl einer ...
Ist es möglich, eine generische "Lift" -Funktion in Haskell zu codieren?
Ich bin nicht der größte Fan von Varargs, aber ich dachte immer, sowohl die applikative f <$> x <*> y) und Idiom [i| f x y |]) Stile haben zu viele Symbole. Normalerweise bevorzuge ich dasliftA2 f x yway, aber ich finde auch, dass A2 ...
Ist der Versand einer dynamischen Haskell TypeClass?
Gab den folgenden Haskell-Code-Schnappschuss: class Foo a where bar :: a -> ... quux :: a -> ... ...Wo zur Laufzeit der Wert von a ermittelt wird - die Klasse löst diesen Wert aus. Ich gehe davon aus, dass der Compiler die Typen zur ...
Auf die "Standard-Show" in Haskell zugreifen?
Sagen Sie, Sie haben eine Datenstruktur (entlehnt von diesemFrag [https://stackoverflow.com/q/2529663/67579]): data Greek = Alpha | Beta | Gamma | Delta | Eta | Number IntJetzt kann man es zu einer Instanz von @ machShow durch Anhängen ...
Haskell: Standardmäßige Einschränkungen für die Eingabe von
Betrachten Sie dieses Beispiel: applyKTimes :: Integral i => i -> (a -> a) -> a -> a applyKTimes 0 _ x = x applyKTimes k f x = applyKTimes (k-1) f (f x) applyThrice :: (a -> a) -> a -> a applyThrice = applyKTimes 3Das3 imapplyThrice wird von GHC ...