haskell

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

FRP-Frameworks und IO

Ich habe gerade FRP in Haskell untersucht (hauptsächlich reactive-banana (Testimonials!)), und ich frage mich, ob es für sie üblich ist, und im Falle von reaktiven Bananen, was ist der Grund, in IO zu arbeiten. Monade anstelle von MonadIO...
25.10.2014, 07:04
1
Antwort

Gibt es eine Klasse "ApplicativeIO"?

Gibt es in Hackage irgendwo eine Typklasse analog zu MonadIO , aber für Applicative s, mit dem IO -Aktionen einfach auf " anwendbare Kompositionsstapel " basierend auf IO ? Wenn eine solche Typklasse existiert, würde sie durch die...
26.09.2014, 16:37
2
Antworten

Was ist ((-) t) in haskell?

Ich mache 20 Zwischen-Haskell-Übungen . Nach Abschluss der ersten 2 Übung gibt es diese seltsame Sache. Ich würde gerne wissen, was ist ((->) t) ? %Vor% Danke! :-)     
18.08.2015, 14:20
1
Antwort

Abhängig eingegebene Warteschlange in Haskell

Ich habe versucht, meine eigene Frage zu Beispielen zu beantworten, die die Erweiterung PolyKinds in GHC verwenden und kam auf ein konkreteres Problem. Ich versuche, eine Warteschlange zu modellieren, die aus zwei Listen aufgebaut ist: der Kop...
29.12.2011, 10:13
2
Antworten

'filterM' für Container wie 'Data.Map.Map' oder 'Data.Set.Set'

Kurz gesagt: Wie würden Sie Elemente eines Map oder Set auf einer Monade filtern? Prädikat in Haskell? Ich könnte mir zwei Möglichkeiten vorstellen: a) Round-Trip durch eine Liste und filterM (wahrscheinlich nicht sehr effizient):...
13.11.2014, 11:05
2
Antworten

Veränderbar, (möglicherweise parallel) Haskell-Code und Performance-Tuning

Ich habe jetzt ein anderes implementiert SHA3-Kandidat, nämlich Grøstl. Dies ist immer noch in Arbeit (sehr), aber im Moment übergibt eine 224-Bit-Version alle KATs. So, jetzt frage ich mich über die Leistung (wieder: - & gt;). Der Unterschied...
16.11.2011, 17:24
1
Antwort

parallele parMap und Strategien

Es besteht ein Zweifel über parallele Strategien und parMap (Control.Parallel.Strategies) Es geht um parMap rseq Äquivalenz mit parMap rpar . Da parMap parList verwendet, wird parallel ausgewertet, so dass entweder rseq od...
04.03.2013, 01:44
1
Antwort

Dynamisches Event Switching in Reactive-Banana

Ich arbeite gerade an einem kleinen Spiel mit reaktiven Bananen und SDL. Da das Ziel hauptsächlich darin besteht, mehr über reaktive Banane und FRP zu lernen, habe ich versucht, mit dynamischem Switching eine Sammlung von Spielobjekten aufzubaue...
01.03.2013, 17:27
2
Antworten

Traversal über das letzte Element von 'gefiltert'

Ich möchte eine Traversierung filtern und dann das letzte Element auswählen, das mit over verwendet werden soll. z.B. etwas wie das (aber was wird eigentlich kompilieren): %Vor% Irgendwelche Ideen? P.S. Mir ist bewusst, dass filter...
19.06.2017, 02:05
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