haskell

Fragen
Haskell ist eine funktionale Programmiersprache mit starker statischer Typisierung, verzögerungsfreier Auswertung, umfangreicher Parallelitäts- und Parallelitätsunterstützung und einzigartigen Abstraktionsfunktionen.
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
1
Antwort

Typ Familienpolymorphie

Also habe ich eine Funktion apply :: proxy tf -> tf Int -> tf Int , die einen Proxy übernimmt, der eine Typfamilie enthalten soll, und wendet Int auf diese Typfamilie an, um den Typ des zweiten Arguments und den Rückgabewert zu bestimmen...
24.04.2015, 19:53
2
Antworten

Geschlossene Typfamilien und seltsame Funktionstypen

Tut mir leid, ich könnte mir keinen besseren Titel für die Frage vorstellen, also lies bitte weiter. Stellen Sie sich vor, dass wir eine geschlossene Familie haben, die jeden Typ auf die entsprechende Maybe abbildet, außer vielleicht selbst:...
29.10.2014, 22:12
2
Antworten

Warp: Bindung an Unix-Domain-Sockets

Der Beispielcode hier zeigt, wie Warp nur auf bestimmten Hosts gehört werden kann. Außerdem gibt dieser Beitrag einige Grundlagen zur Verwendung von Unix-Domain-Sockets in Haskell. Wie kann ich diese beiden Ansätze kombinieren, damit W...
24.03.2014, 22:08
3
Antworten

Arten von Fehlern, die in Haskell-Programmen häufiger vorkommen als in anderen Sprachen?

Eine der vielbeachteten Funktionen ist, dass wenn ein Programm kompiliert wird, es sehr wahrscheinlich meistens korrekt ist, mehr als ein Programm, das in einer Sprache mit einem weniger ausgeklügelten oder strikten System geschrieben ist. Da...
13.01.2014, 17:02
2
Antworten

Wie vermeide ich Speicherprobleme beim Schreiben in eine Datei mit der Writer-Monade?

Ich baue einige ziemlich große DIMACS Dateien, allerdings mit der Methode, die unterhalb der Speicherbelegung verwendet wird ist ziemlich groß im Vergleich zur Größe der erzeugten Dateien, und auf einigen der größeren Dateien, die ich generier...
30.10.2012, 14:30
1
Antwort

Warum liefert Data.Set sowohl Elems als auch ToList?

In der Quelle haben wir elems = toList . Warum brauchen wir beide Funktionen? Data.Set auf Hackage     
19.10.2013, 03:17
4
Antworten

Erstellen Sie einen Datenkonstruktor für den teilweise angewandten Typ in Haskell

Ist es möglich, in Haskell einen Datenkonstruktor für den partiell angewendeten Typ zu erstellen? ghci-Sitzung: %Vor% Ich möchte Datenkonstruktor für den Typ T1 erstellen - ist das überhaupt möglich? Oder muss ich neue Typen verwenden, we...
23.07.2013, 17:54
2
Antworten

Wie effizient ist die abgeleitete EQ-Instanz in GHC?

Gibt es einen Kurzschluss , der in GHCs (und im Allgemeinen Haskell) abgeleitete Eq Instanz eingebaut ist, die ausgelöst werden, wenn ich dieselbe Instanz eines Datentyps vergleiche? %Vor% Mein Plan ist es, eine faule Datenstruktur (sage...
09.10.2012, 10:36
1
Antwort

Ermittlung der Implementierung der Methode basierend auf verfügbaren Einschränkungen

Angenommen, ich habe folgende Memo-Funktionen. (Ignoriere die Tatsache, dass sie bitte rein sind.) %Vor% Jetzt möchte ich ein Konstrukt haben, das es mir erlaubt, das "Beste" der obigen drei Memo-Funktionen zu wählen. Etwas, das im Wesentlic...
29.05.2013, 13:20