haskell

Haskell ist eine funktionale Programmiersprache mit starker statischer Typisierung, verzögerungsfreier Auswertung, umfangreicher Parallelitäts- und Parallelitätsunterstützung und einzigartigen Abstraktionsfunktionen.
3
Antworten

Warum bewertet diese Haskell-Anweisung nicht träge?

Ich habe die folgende Funktion definiert: %Vor% Dann, wenn ich Folgendes ausführe: %Vor% es versucht, die Summe der unendlichen Folge zu berechnen, anstatt faul und zurück zu sein 1. Warum? BEARBEITEN: Bei weiterer Untersuchung stell...
08.07.2010, 17:43
2
Antworten

Warum ist eine Kontextreduktion notwendig?

Ich habe gerade dieses Papier gelesen ("Type classes: a exploration of der Design Space "von Peyton Jones & Jones, der einige Herausforderungen mit dem frühen Typenklassensystem von Haskell erklärt, und wie man es verbessern kann. Viele der...
01.02.2016, 18:27
2
Antworten

Warum gibt es in Scala keine "Functor" Eigenschaft? [geschlossen]

In Scala haben die generischen Klassen wie Future , Option und List alle die Methoden map und flatMap . Soweit ich weiß, sind sie alle wie Funktoren in Haskell. Ich habe mich nur gefragt, warum es in Scala kein Merkmal (Interfa...
17.05.2015, 15:52
1
Antwort

Was ist der richtige Weg: neu laden und ausführen: main als ein einziger Befehl in GHCi?

Gibt es eine Möglichkeit, :reload/:r zusammen mit :main als einen einzigen Befehl in GHCi zu verketten? Das Ziel hier ist es, nicht jedes Mal, wenn ich etwas in meinem anderen Terminal ändere, zu tippen, sondern einfach ↑ Enter einz...
05.06.2014, 01:30
3
Antworten

Klassenbeschränkungen für Monaden und Monaden

Ich versuche eine neue Monade zu schreiben, die nur eine Num enthalten kann. Wenn es fehlschlägt, gibt es 0 zurück, ähnlich wie die Maybe-Monade bei Versagen nichts zurückgibt. Hier ist was ich bisher habe: %Vor% Haskell beklagt sich, das...
11.03.2014, 00:06
1
Antwort

Speicherbedarf existenziell quantifizierter Typen und zugehörige Optimierungstechniken

Betrachten Sie das folgende Datenmodell, das ein existentielles verwendet: %Vor% Die Regeln zum Speicherbedarf von Standardtypen wurden bereits früher erläutert . Wie lauten nun die Regeln für existenzielle Typen wie AnyNode ? Gibt es...
26.11.2013, 12:07
2
Antworten

effiziente funktionelle Datenstruktur für endliche Bijektionen

Ich suche nach einer funktionellen Datenstruktur, die endliche Bijektionen zwischen zwei Typen darstellt, das ist platzsparend und zeiteffizient. Zum Beispiel würde ich mich freuen, wenn ich eine Bijektion f der Größe n in Betracht ziehe:...
19.05.2012, 22:14
2
Antworten

Übergeben einer Funktion über das Netzwerk in Haskell

Angenommen das Folgende: Ich habe einen Typ namens World , der einen Simulationszustand darstellt. Ich habe auch dieses Synonym: %Vor% Ist Haskell in der Lage, den Aktualisierungstyp so zu serialisieren, dass er über das Netzwerk übertr...
16.04.2013, 19:44
1
Antwort

Erstellen und installieren Sie ein eigenes Modul

Ich möchte ein Modul erstellen und es in die Haskell-Bibliothek laden. Ich kann mit Ubuntu 11 oder Windows 7 mit den Tools der Haskell-Plattform arbeiten. Das ist mein Modul: %Vor% Ich habe auch ein Problem mit "show" in der ghci, weil ich e...
21.11.2011, 09:57
1
Antwort

Warum ist dieses einfache Textanalyseprogramm so langsam?

Dies ist mein Code zum Zählen von Zeilen und Wörtern: %Vor% Dies dauert ungefähr 10 Sekunden, um mit einer Datei von ungefähr 100 Megabyte zu laufen. Ich habe es mit ähnlichen Programmen in Lua (9s), awk (20s) und wc -l -c (0.6s) verglich...
02.04.2012, 14:33