haskell, Seitenzahl 73

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

Antwort

Stellen Sie sicher, dass ein Datenkonstruktor injektiv ist

Ich habe den folgenden Datentyp: %Vor% Dann habe ich eine Num Instanz: %Vor% Natürlich funktioniert das nicht. Der Typ a wird vom Konstruktor ausgeblendet, da der Typ von Var forall (i :: Nat) a. Num a => a -> Var i ist...

18.10.2013, 07:04

Antwort

Ableiten von Standardinstanzen mit GHC.Generics

Ich habe eine Typklasse Cyclic , für die ich generische Instanzen bereitstellen möchte. %Vor% Gegeben eine Summenart von Nullkonstruktoren, %Vor% Ich möchte eine Instanz erzeugen, die dieser entspricht: %Vor% Ich habe versucht, die...

03.04.2014, 23:39

Antworten

Haltepunkte im Argument-Passing-Schema von OCaml

Heute ging ich durch den Quellcode von Jane Street % Core_kernel Modul und ich stieß auf die Funktion compose : %Vor% Ich hätte die Funktion compose folgendermaßen definiert: %Vor% Der Grund für die Definition von compose is...

22.03.2015, 05:55

Antwort

Haskell erbt Typklassen

Angenommen, ich habe die folgende Klasse: %Vor% Ich möchte erklären, dass alle Instanzen dieser Klasse automatisch Instanzen von Show sind. Mein erster Versuch wäre folgender: %Vor% Mein erster Versuch, diesen Weg gestern zu gehen, fü...

04.04.2013, 09:40

Antworten

Warum hat 'ZonedTime' keine Instanz 'Eq' oder 'Ord'?

Im Paket time haben wir den Typ ZonedTime , der ein LocalTime ein Produkt von% darstellt. co_de% und localDay :: Day . localTimeOfDay :: TimeOfDay hat Instanzen für LocalTime und Eq , aber Ord nicht. Es scheint mir, dass...

15.03.2013, 18:51

Antworten

Text.PrettyPrint: Einrückung beginnt am linken Rand

Ich versuche Javascript mit Text.PrettyPrint zu generieren. Das Problem ist, dass nest eine riesige Einrückung erzeugt, wenn sie neben ein anderes prettyprinted Element gesetzt wird. Zum Beispiel in diesem Code: %Vor% fun beginnt in...

15.03.2012, 02:43

Antwort

Rewrite-Regeln, die nicht für Regeln ausgelöst werden, die mehreren Instanzmethoden entsprechen

Soweit ich das beurteilen kann, würde ich nicht glauben, dass es einen Unterschied machen würde, dass id1 und id2 aus einer Typklasse stammen und id1 'und id2' nicht. Ich benutze "ghc Rewrite" mit der neuesten Haskell Platform (sowohl mit GHC...

21.03.2012, 19:11

Antwort

Ich bin mir nicht sicher, wie man eine nützliche Bibliothek mithilfe von Kombinatoren erstellt

Ich habe über Kombinatoren gelesen und gesehen, wie nützlich sie sind (zum Beispiel in Haskells Parsec). Mein Problem ist, dass ich mir nicht ganz sicher bin, wie ich sie praktisch anwenden soll. Hier ist ein Überblick über das Problem: Verte...

16.08.2011, 17:02

Antworten

Wie kann ich einen Unix-POSIX-Dateideskriptor oder ein Standardeingabe-Handle in einen Socket umwandeln?

In inetd und systemd -Typsystemen ist es möglich, dass das System einen Socket bindet und die Anwendung mit dem bereits vorhandenen Socket startet, um beispielsweise socket-basiert zu sein Dienst beginnt. Ich möchte diese Funktionalität in e...

19.07.2012, 10:12

Antwort

Override -Werror bei der Installation von Cabal

Ich versuche, das Paket nano-hmac-0.2.0 zu installieren (a Abhängigkeit von einem Paket, das ich möchte) von Hackage mit Cabal und GHC 6.12.1, aber es schlägt mit dem folgenden Fehler fehl: %Vor% Tatsächlich enthält die .cabal-Datei des Pa...

09.02.2011, 04:22