typeclass, Seitenzahl 2

3

Antworten

Irgendein Vorteil der Verwendung von Typkonstruktoren in Typklassen?

Nehmen Sie zum Beispiel die Klasse Functor : %Vor% Hier ist Maybe ein Typkonstruktor. Aber wir können das auf zwei andere Arten tun: Erstens, Verwenden von Multi-Parameter-Klassen: %Vor% Zweitens mit Typfamilien: %Vor% Jet...

06.04.2015, 00:26

3

Antworten

Geben Sie eine Klassendefinition mit Funktionen ein, die von einem zusätzlichen Typ abhängen

Immer noch neu in Haskell, ich habe eine Wand mit folgendem getroffen: Ich versuche, einige Typklassen zu definieren, um eine Reihe von Funktionen zu verallgemeinern, die Gaußsche Eliminierung verwenden, um lineare Gleichungssysteme zu lösen....

16.12.2011, 12:15

3

Antworten

Keine Instanz für (Floating Int)

Ich lerne Haskell. Ich habe eine Funktion erstellt, die die Multiplikationstabelle auf 'n' in der Basis 'b' zurückgibt. Zahlen werden auf "w" Ziffern aufgefüllt. Als letzten Schritt möchte ich 'w' automatisch berechnen. Warum kompiliert das nich...

28.12.2009, 17:16

2

Antworten

Warum werden Instanzen nur von ihren Köpfen abgeglichen?

Ich werde mit der Einführung eines konkreten Problems beginnen (StackOverflow-Leute wie dieses). Angenommen, Sie definieren einen einfachen Typ %Vor% Dieser Typ ist ein Functor , Applicative und ein Monad . Ignorieren automatische Abl...

14.05.2015, 23:26

2

Antworten

Mehrere Typparameter in der Typklasse?

Nehmen wir an, ich habe eine Typklasse Stack mit einer Instanz List : %Vor% Wie Stack muss definiert werden, damit List nicht auf Integer Werte beschränkt ist? %Vor%

18.09.2015, 16:26

2

Antworten

Warum scheint Haskell beim Lesen von Num standardmäßig Int zu lesen?

Ich habe nicht erwartet, dass der folgende Code funktioniert: %Vor% weil es nicht möglich ist, den Typ von (gelesen "7") basierend auf dem Code vollständig abzuleiten. Aber GHC (6.12.3) denkt anders und druckt 14. Wenn "7" zu "7.2" geände...

28.05.2011, 23:41

2

Antworten

Haskell typeclass

Ich habe eine Haskell-Klasse. Ich kann nicht die Syntax munge, um dieses (anscheinend vernünftige) Programm zu kompilieren, das unter GHC kompiliert wird. %Vor% Ich erhalte die folgende Fehlermeldung, die irgendwie sinnvoll ist, aber ich wei...

01.12.2009, 17:21

2

Antworten

Könnte es sein, dass (Alternative f, Faltbare f) = Monade f?

Die folgenden Typprüfungen: %Vor% Ist das tatsächlich eine gültige Monad -Instanz? Wenn ja, warum wird es nicht verwendet? Wenn nein, bricht es irgendwelche Gesetze oder solche? Ich habe nicht bewiesen, dass die Gesetze gelten, aber ich k...

24.05.2017, 11:19

1

Antwort

"Vererbung" der Instanz des umschlossenen Typs

Ich habe einen Typ, der grundsätzlich als ein Tag für einen anderen Datentyp fungiert: %Vor% Ich möchte RijndaelField die Word8 -Instanz von Bits so einfach wie möglich "erben": %Vor% Gibt es eine kürzere Möglichkeit, diese Bezi...

09.12.2013, 22:00

3

Antworten

mehrere Typparameter in Haskell-Typklassen

Ich versuche Abstraktion in Haskell98 zu machen, weiß aber nicht, wie ich es machen soll. Was ich tun möchte, ist eine Klasse für Typen zu definieren, die in Listen umgewandelt werden können. %Vor% Aber ich weiß nicht, wie man eine Klasse...

21.11.2008, 15:46