Als «haskell» getaggte Fragen

Haskell ist eine funktionale Programmiersprache mit starker statischer Typisierung, verzögerter Auswertung, umfassender Unterstützung für Parallelität und Parallelität sowie einzigartigen Abstraktionsfunktionen.

1
Im Trainings-Neuronalen Netzwerk treten extrem kleine oder NaN-Werte auf
Ich versuche, eine neuronale Netzwerkarchitektur in Haskell zu implementieren und auf MNIST zu verwenden. Ich benutze das hmatrixPaket für die lineare Algebra. Mein Trainingsrahmen wird mit dem pipesPaket erstellt. Mein Code wird kompiliert und stürzt nicht ab. Das Problem ist jedoch, dass bestimmte Kombinationen von Schichtgröße (z. B. 1000), Minibatch-Größe …
2
Techniken zum Verfolgen von Einschränkungen
Hier ist das Szenario: Ich habe Code mit einer Typensignatur geschrieben und GHC-Beschwerden konnten für einige xund nicht auf x ~ y schließen y. Normalerweise können Sie GHC einen Knochen werfen und einfach den Isomorphismus zu den Funktionseinschränkungen hinzufügen. Dies ist jedoch aus mehreren Gründen eine schlechte Idee: Das Verständnis …
322 haskell  constraints  ghc 
8
Was macht das Schlüsselwort "forall" in Haskell / GHC?
Ich fange an zu verstehen, wie das forallSchlüsselwort in sogenannten "existentiellen Typen" wie diesem verwendet wird: data ShowBox = forall s. Show s => SB s Dies ist jedoch nur eine Teilmenge der forallVerwendung, und ich kann mich einfach nicht auf die Verwendung in solchen Dingen konzentrieren: runST :: forall …
312 haskell  syntax  types  ghc  forall 
6
Was ist Schwachkopf Normalform?
Was bedeutet Weak Head Normal Form (WHNF)? Was bedeutet Leiter Normalform (HNF) und Normalform (NF) bedeuten? In der realen Welt sagt Haskell : Die bekannte seq-Funktion wertet einen Ausdruck in der sogenannten Kopfnormalform (abgekürzt HNF) aus. Es stoppt, sobald es den äußersten Konstruktor (den „Kopf“) erreicht. Dies unterscheidet sich von …
7
Missbrauch der Algebra algebraischer Datentypen - warum funktioniert das?
Der 'algebraische' Ausdruck für algebraische Datentypen sieht für jemanden mit mathematischem Hintergrund sehr suggestiv aus. Lassen Sie mich versuchen zu erklären, was ich meine. Nachdem Sie die Grundtypen definiert haben Produkt • Union + Singleton X Einheit 1 und unter Verwendung der Kurzform X²für X•Xund 2Xfür X+Xusw. können wir dann …
1
Zugehörige Typensynonyme mit Vorlage Haskell abrufen
Kann Template Haskell die Namen und / oder Deklarationen der zugehörigen Typensynonyme herausfinden, die in einer Typklasse deklariert sind? Ich hatte erwartet, reifydass ich tun würde, was ich will, aber es scheint nicht alle notwendigen Informationen zu liefern. Es funktioniert zum Abrufen von Funktionstypsignaturen: % ghci GHCi, version 7.8.3: http://www.haskell.org/ghc/ …
6
Was ist so schlimm an Template Haskell?
Es scheint, dass Template Haskell von der Haskell-Community oft als unglückliche Annehmlichkeit angesehen wird. Es ist schwer, genau in Worte zu fassen, was ich in dieser Hinsicht beobachtet habe, aber betrachten Sie diese wenigen Beispiele Vorlage Haskell unter "The Ugly (aber notwendig)" als Antwort auf die Frage Welche Haskell (GHC) …
1
Haskell: Listen, Arrays, Vektoren, Sequenzen
Ich lerne Haskell und lese einige Artikel über Leistungsunterschiede bei Haskell-Listen und (fügen Sie Ihre Sprache ein) Arrays. Als Lernender benutze ich natürlich nur Listen, ohne über Leistungsunterschiede nachzudenken. Ich habe kürzlich mit der Untersuchung begonnen und zahlreiche Datenstrukturbibliotheken in Haskell gefunden. Kann jemand bitte den Unterschied zwischen Listen, Arrays, …
230 haskell 
7
Wie lautet die Antwort von Haskell auf Node.js?
Ich glaube, die Erlang-Community ist nicht neidisch auf Node.js, da sie nicht blockierende E / A nativ ausführt und Möglichkeiten bietet, Bereitstellungen einfach auf mehr als einen Prozessor zu skalieren (etwas, das nicht einmal in Node.js integriert ist). Weitere Informationen finden Sie unter http://journal.dedasys.com/2010/04/29/erlang-vs-node-js und Node.js oder Erlang Was ist …
6
Ausführen eines Haskell-Programms unter Android
Vorbemerkung: Dies ist eine Erweiterung des Threads, der auf / r / haskell gestartet wurde Beginnen wir mit den Fakten: Android ist ein fantastisches Betriebssystem Haskell ist die beste Programmiersprache der Welt Daher würde eine Kombination diese Android-Entwicklung deutlich verbessern. Im Wesentlichen möchte ich nur wissen, wie ich Haskell-Programme für …
2
Wann ist -XAllowAmbiguousTypes angemessen?
Ich habe kürzlich eine Frage zu syntactic-2.0 bezüglich der Definition von gestellt share. Ich habe dies in GHC 7.6 arbeiten lassen : {-# LANGUAGE GADTs, TypeOperators, FlexibleContexts #-} import Data.Syntactic import Data.Syntactic.Sugar.BindingT data Let a where Let :: Let (a :-> (a -> b) :-> Full b) share :: (Let …
212 haskell  ghc 
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.