haskell

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

Welches Algebraische Muster passt zu diesem Baumtyp?

Ich habe ein Rätsel für dich, Ich habe es geschafft, Code zu schreiben, der diese Dinge mit Rekursionsschemata machen würde, aber es ist unglaublich unordentlich und das bedeutet normalerweise, dass ich irgendwo eine nützliche Abstraktion ver...
19.03.2017, 19:22
1
Antwort

Muster-Synonym kann Typen in der Typenliste nicht vereinheitlichen

Ich erhalte einen Fehler, wenn ich versuche, ein Muster-Synonym zu definieren auf einer GADT mit einer Liste auf Typenebene. Ich habe es geschafft, es auf dieses Beispiel zu reduzieren: %Vor% Gibt mir: %Vor% Ist das ein Fehler, oder m...
30.03.2016, 22:24
2
Antworten

Wie schreibe ich parallelen Code mit Haskell-Vektoren?

Einerseits in Haskell Vector a scheint der bevorzugte Typ zu sein, der als ein Array von Zahlen verwendet wird. Es gibt sogar ein (unvollständiges) Vektor Tutorial . Auf der anderen Seite Control.Parallel.Strategies werden hauptsäc...
15.11.2010, 17:04
2
Antworten

Speicherbare leere Datendeklaration

Ich versuche, einen Haskell-Wrapper für eine C-Bibliothek zu erstellen. Die zugrunde liegenden Strukturen sind zu kompliziert, um sie als explizite Typen auszudrücken, und ich benutze sie eigentlich nur für den Übergang zwischen C-Funktionen. Da...
25.01.2011, 14:29
1
Antwort

Pretty-Drucken in Ghci

Gibt es eine Möglichkeit, ghci dazu zu bringen, eine benutzerdefinierte Pretty-Print-Funktion zu verwenden, anstatt sie für bestimmte Typen anzuzeigen? Eine allgemeinere Frage: Was sind die allgemeinen Richtlinien, um eine Bibliothek im interakt...
12.07.2016, 21:29
1
Antwort

Top-Level-Ausdruck Auswertung zur Kompilierzeit

Gibt es eine Möglichkeit sicherzustellen, dass ein Ausdruck wie der folgende zur Kompilierzeit ausgewertet wird? %Vor%     
09.07.2016, 12:18
1
Antwort

die Suche nach einem Dual von ReaderT, die anstelle von monadischen Ergebnis über die Umwelt abstrahiert

Ist die folgende Abstraktion mit Instanzen Contravariant , Divisible und etc. bereits in einem Paket umgesetzt? Ich unterstelle etwas im Sinne des folgenden kompilierbaren Codes: %Vor%     
09.08.2015, 13:52
1
Antwort

Wie werden mögliche Zustandsübergänge im Typ kodiert?

Ich versuche in Haskell diesen Teil des Idris-Codes zu replizieren, der die korrekte Reihenfolge der Aktionen durch Typen erzwingt: %Vor% Dank Überladen von (>>=) operator kann man einen monadischen Code schreiben wie: %Vor% , ab...
22.10.2016, 21:36
1
Antwort

Haskell: Wiederverwendung von FromJSON-Instanzen mit Linsen, Linsen-AESON und verschachteltem JSON

Ich habe mit Aeson und dem Objektivpaket (Objektiv-Aeson, das aus dem Kernlinsenpaket migriert wurde) gespielt und habe versucht, sie zusammenzuarbeiten. Als Spielzeugbeispiel habe ich einen Typ: %Vor% und die FromJSON-Instanz: %Vor%...
26.08.2014, 11:02
2
Antworten

Ist es möglich, das Haskell-Frontend mit Ghcjs, Haste, Elm usw. serverseitig zu rendern?

Ich denke, dass Haskell fantastische Eigenschaften bietet. Auch für die Web-Entwicklung geeignet. Allerdings vermisse ich ein Merkmal. Serverseitiges Rendering Die Gründe dafür sind Google Crawler und Pre-Rendering, um die Leistung auf mobilen G...
26.09.2015, 08:21