typeclass, Seitenzahl 1

1

Antwort

Das Hinzufügen einer nicht verwendeten Instanz behebt einen Typfehler

Betrachten Sie diesen Code: %Vor% Hier ruft foo bar auf und sollte dies mit der Einschränkung SomeClass in seinem Kontext tun können. Stattdessen nimmt GHC an, dass dies mit der Foo a => SomeClass a -Instanz tun muss: %Vor%...

08.11.2017, 04:50

1

Antwort

Erstellen einer Klassenhierarchie in Coq?

Ich kann naiv eine Hierarchie von algebraischen Strukturen in Coq mit Hilfe von Typklassen konstruieren. Ich habe Probleme, Ressourcen für Coqs Syntax und Semantik für Typklassen zu finden. Ich glaube jedoch, dass das Folgende eine korrekte Impl...

03.11.2011, 04:34

2

Antworten

Noch generalisierteres newtype abgeleitet

Neue Typen werden häufig verwendet, um das Verhalten bestimmter Typen zu ändern, wenn sie in bestimmten Klassenkontexten verwendet werden. Zum Beispiel würde man den Data.Monoid.All -Wrapper verwenden, um das Verhalten von Bool zu ändern,...

30.09.2012, 22:43

2

Antworten

Haskell: Überlappende Instanzen

Betrachten Sie das folgende Beispielprogramm: %Vor% Es kann nur get anstelle von lift get verwendet werden, weil instance MonadState s m => MonadState s (MaybeT m) im MaybetT-Modul definiert ist. Viele solcher Instanzen sind i...

30.06.2009, 15:10

2

Antworten

Können Sie eine Instanz einer Klasse nicht für einen Typ, sondern für eine ganze Klasse in Haskell erstellen?

Angenommen, ich möchte alle Zahlen zu einer Instanz von Monoid machen. Anstatt für jedes Num eine Instanz wie folgt erstellen zu müssen: %Vor% Gibt es so etwas? %Vor% Bearbeiten Einige antworten mit GHC-Erweiterungen und warnen...

24.09.2015, 19:10

2

Antworten

Was kommt Haskell GADTs und typeclasses in F # am nächsten?

F # ist eine ML mit OOP. Was kommt den Haskell-generalisierten algebraischen Datentypen und Typklassen am nächsten?

09.11.2012, 15:29

3

Antworten

Wie man einen Operator erhält, der absolute und relative Werte in Haskell addiert / subtrahiert

(Entschuldigung für den seltsamen Titel, aber ich konnte mir keinen besseren vorstellen.) Für ein persönliches Haskell-Projekt möchte ich die Begriffe "absolute Werte" (wie eine Frequenz) und relative Werte (wie das Verhältnis zwischen zwei...

02.04.2013, 06:56

2

Antworten

Gibt es in Haskell eine Enzyklopädie / Liste allgemeiner Klassen?

Gibt es eine Website, die allgemeine Klassen in Haskell auflistet und beschreibt?

28.08.2009, 11:29

2

Antworten

Überlappende Instanzen in Haskell

Lesen Sie das Buch Real world Haskell geting unter dem Beispiel überlappender Instanzen %Vor% Nach meinem Verständnis wird dies keine Überschneidung sein, da [a] keine Wahl sein sollte, da die Einschränkung für JSON [a] war, dass "a" eine...

27.05.2013, 15:18

3

Antworten

Anwendbare Instanz für Funktionen von derselben Domäne in Applicative

Angenommen, ich habe einen Datentyp A , der anwendbar ist. (Für das Beispiel können wir annehmen, dass A ist Identity ). Ich habe jetzt einen neuen Datentyp, der der "Transformation" von einem A zu einem anderen entspricht: %Vor%...

31.10.2014, 21:20