haskell, Seitenzahl 56

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

Antwort

Wie läuft mein IO in Erlang so langsam?

Ich lese 512 ^ 2 Leerzeichen-getrennte Doubles, die in eine Textdatei geschrieben sind, in mein Erlang-Programm, indem ich sie nach stdin lege. In Erlang dauert das 2m25s, in einem äquivalenten Haskell-Programm dauert es 3s, also muss ich geg...

29.08.2011, 11:22

Antworten

Wie erhalte ich den Typ eines beliebigen Ausdrucks in einer Datei in Haskell?

:type ist nicht genug, da der Ausdruck, den ich haben möchte, lokal definierte Variablen enthalten kann, wie Dinge, die mit <- , let oder where zugewiesen wurden. Getippte Löcher (die den Ausdruck mit _ ersetzen und mit ghc lade...

07.02.2018, 22:14

Antwort

Kann eine KnownNat zur Laufzeit zugewiesen werden?

Ich habe (erfolglos) versucht, ein "Objekt" * in Haskell in Runtime zu erstellen, dessen Typ zur Laufzeit mit abhängigen Typen definiert wurde. Ich habe dieses Tutorial zu abhängigen Typen und was sie gemacht haben verwenden, um einen Wert...

01.10.2017, 01:39

Antworten

Wie parse ich eine Liste von Wörtern nach einer vereinfachten Grammatik?

Nur zur Klarstellung, das sind keine Hausaufgaben. Ich wurde um Hilfe gebeten und bin dazu nicht in der Lage, also wurde es zu einer persönlichen Aufgabe, um es zu lösen. Stellen Sie sich vor, Sie haben eine Grammatik für einen englischen Sat...

18.10.2011, 07:02

Antwort

Sind Typvariablen in GADT-Köpfen sinnvoll?

Gibt es einen Unterschied zwischen diesen beiden GADT-Erklärungen? %Vor%

24.11.2016, 13:21

Antwort

Gibt es eine Verbindung zwischen 'a: ~: b' und '(a: == b): ~: True'?

Gibt es eine Verbindung zwischen propositional und < a href="https://hackage.haskell.org/package/singletons-2.2/docs/Data-Singletons-Prelude-Eq.html"> Gleichstellung gefördert? Sagen wir, ich habe %Vor% im Bereich für einige Symbol s...

20.06.2016, 13:09

Antworten

interpretiere Parigots Lambda-mu-Kalkül in Haskell

Man kann den Lambda-Kalkül in Haskell interpretieren: %Vor% Wie könnte der obige Interpreter auf den Lambda-mu-Kalkül erweitert werden? Meine Vermutung ist, dass es Fortsetzungen für die Interpretation der zusätzlichen Konstrukte in diesem...

26.02.2015, 20:28

Antwort

Wie kann man mit höheren Rängen in Haskell interagieren?

Ich rannte in eine rätselhafte Situation mit einem höheren Rang ein. Ich habe herausgefunden, wie es funktioniert, aber ich verstehe den Unterschied zwischen den funktionierenden und nicht funktionierenden Versionen nicht. Mit diesen Hintergr...

26.03.2015, 18:03

Antwort

Wozu dient eine Cabal-Weltdatei?

Welche Rolle spielt die ~/.cabal/world -Datei und was bedeuten ihre Inhalte? Ich kann keine Dokumentation finden und bin verwirrt von dem, was ich dort sehe. Zum Beispiel entspricht es weder den Paketen in meiner Benutzerdatenbank noch mei...

04.10.2015, 14:01

Antwort

Versuch, einen Stapelfehler zu lösen: Bibliothek muss übereinstimmen = 0.10, aber die Stapelkonfiguration hat keine spezifizierte Version (zuletzt anwendbar ist 0.10)

Ich versuche brick in einem Stapelprojekt zu verwenden. Hier ist die Fehlerausgabe: brick muss mit & gt; = 0.10 übereinstimmen, aber die Stack-Konfiguration hat keine spezifizierte Version (zuletzt anwendbar ist 0.10) Es schlägt...

26.09.2016, 22:16