Programmierung haskell

2

Reale Anwendungen von zygohistomorphen Präpromorphismen

Ja, diese : {-#LANGUAGE TypeOperators, RankNTypes #-} import Control.Morphism.Zygo import Control.Morphism.Prepro import Control.Morphism.Histo import Control.Functor.Algebra import Control.Functor.Extras import Control.Functor.Fix import Control.Comonad.Cofree zygohistomorphic_prepromorphism :: Functor f => Algebra f b -> GAlgebra f (ZygoT (Cofree f) b) a -> (f :~> f) -> FixF f -> a zygohistomorphic_prepromorphism f = g_prepro …

156 haskell functional-programming category-theory

7

Implikationen von foldr vs. foldl (oder foldl ')

Erstens sagt Real World Haskell , das ich lese, dass man es niemals benutzen foldlund stattdessen benutzen soll foldl'. Also vertraue ich ihm. Aber ich bin trüb , wenn die Verwendung foldrvs. foldl'. Obwohl ich die Struktur ihrer Funktionsweise vor mir sehen kann, bin ich zu dumm, um zu verstehen, …

155 recursion functional-programming fold haskell

6

Warum ist GHC so groß / groß?

Gibt es eine einfache Antwort: Warum ist GHC so groß? OCaml: 2 MB Python: 15 MB SBCL: 9 MB OpenJRE - 26 MB GHC: 113 MB Nicht interessiert an der Evangelisation von "Warum sollte mir die Größe egal sein, wenn Haskell das richtige Werkzeug ist"; Dies ist eine technische Frage.

147 haskell ghc

1

Umgang mit Listentypen mit Esqueleto

Ich habe Datentypen definiert als: data ComitteeView = CommitteeView { committeeId :: CommitteeId , committeeMembers :: [Person] } data CommitteesView = CommitteesView { committeeView :: [CommitteeView] } So wie es aussieht, habe ich ein beständiges Modell definiert als: Person name Text Committee name Text CommitteePerson personId PersonId committeeId CommitteeId Ich …

144 sql list haskell esqueleto

2

Muss GHC-mod vollständige Typen für Typen verwenden?

Ich versuche, das ghc-modvim-Plugin zu verwenden, um Typ- / Syntaxprüfungen usw. durchzuführen. Ich habe jedoch festgestellt, dass ghc-modin den Fehlermeldungen immer vollständige Pfadpfade verwendet werden, zum Beispiel: test.hs|71 col 13 error| Couldn't match type ‘Data.Text.Internal.Text’ || with ‘[GHC.Types.Char]’ || Expected type: containers-0.5.6.2:Data.Map.Base.Map || [GHC.Types.Char] || ([(integer-gmp-1.0.0.0:GHC.Integer.Type.Integer, || integer-gmp-1.0.0.0:GHC.Integer.Type.Integer)], || containers-0.5.6.2:Data.Set.Base.Set …

143 haskell ghc ghc-mod

1

Ordnungsgemäße Verwendung der HsOpenSSL-API zur Implementierung eines TLS-Servers

Ich versuche herauszufinden, wie die OpenSSL.Session- API in einem gleichzeitigen Kontext richtig verwendet wird Angenommen, ich möchte eine implementieren stunnel-style ssl-wrapper, würde ich die folgende grundlegende Skelettstruktur erwarten, die eine naive implementiertfull-duplex tcp-port-forwarder: runProxy :: PortID -> AddrInfo -> IO () runProxy localPort@(PortNumber lpn) serverAddrInfo = do listener <- listenOn …

141 haskell openssl ssl

5

Was ist "Heben" in Haskell?

Ich verstehe nicht, was "Heben" ist. Sollte ich zuerst Monaden verstehen, bevor ich verstehe, was ein "Aufzug" ist? (Ich bin auch völlig unwissend über Monaden :) Oder kann mir jemand das mit einfachen Worten erklären?

138 haskell functional-programming

1

Wie versende ich eine ausführbare Datei mit Language.Haskell.Interpreter?

Ich hatte gehofft, einen Haskell-Interpreter mit einbetten zu können, hintdamit ich Plugins in Haskell schreiben kann, die ich mit meinem Programm verwenden kann. Ich möchte nicht die gesamte Haskell-Plattform für meine ausführbaren Dateien ausliefern müssen. Normalerweise sind ausführbare Dateien von Haskell ziemlich eigenständig. Das Löschen von PATHverursacht beispielsweise kein Problem: …

136 haskell packaging shipping

8

Auswendiglernen in Haskell?

Hinweise zur effizienten Lösung der folgenden Funktion in Haskell für große Zahlen (n > 108) f(n) = max(n, f(n/2) + f(n/3) + f(n/4)) Ich habe Beispiele für das Auswendiglernen in Haskell gesehen, um Fibonacci-Zahlen zu lösen, bei denen alle Fibonacci-Zahlen (träge) bis zum erforderlichen n berechnet wurden. In diesem Fall …

136 haskell memoization

2

Warum können λ-Kalkül-optimale Bewerter große modulare Exponentiationen ohne Formeln berechnen?

Kirchenzahlen sind eine Kodierung natürlicher Zahlen als Funktionen. (\ f x → (f x)) -- church number 1 (\ f x → (f (f (f x)))) -- church number 3 (\ f x → (f (f (f (f x))))) -- church number 4 Ordentlich können Sie 2 Kirchennummern potenzieren, indem …

135 algorithm haskell functional-programming lambda-calculus modular-arithmetic

5

Was sind die Hauptunterschiede zwischen Haskell und F #? [geschlossen]

Geschlossen . Diese Frage muss fokussierter sein . Derzeit werden keine Antworten akzeptiert. Geschlossen vor 6 Jahren . Gesperrt . Diese Frage und ihre Antworten sind gesperrt, da die Frage nicht zum Thema gehört, aber historische Bedeutung hat. Derzeit werden keine neuen Antworten oder Interaktionen akzeptiert. Ich habe im Internet …

135 haskell f# functional-programming language-comparisons

5

Mehrzeilige Befehle in GHCi

Ich habe Probleme bei der Eingabe mehrzeiliger Befehle in ghci. Der folgende zweizeilige Code funktioniert aus einer Datei: addTwo :: Int -> Int -> Int addTwo x y = x + y Aber wenn ich in ghci eingebe, erhalte ich eine Fehlermeldung: <interactive>:1:1: error: Variable not in scope: addTwo :: …

134 haskell ghci

5

Gibt es eine Haskell-Funktion, um eine Liste mit einem Trennzeichen zu verketten?

Gibt es eine Funktion zum Verketten von Elementen einer Liste mit einem Trennzeichen? Beispielsweise: > foobar " " ["is","there","such","a","function","?"] ["is there such a function ?"] Vielen Dank für jede Antwort!

131 list haskell concat

5

Reduzieren der Pausenzeit für die Speicherbereinigung in einem Haskell-Programm

Wir entwickeln ein Programm, das "Nachrichten" empfängt und weiterleitet und dabei einen temporären Verlauf dieser Nachrichten führt, damit es Ihnen auf Anfrage den Nachrichtenverlauf mitteilen kann. Nachrichten werden numerisch identifiziert, haben normalerweise eine Größe von etwa 1 Kilobyte und wir müssen Hunderttausende dieser Nachrichten aufbewahren. Wir möchten dieses Programm auf …

130 performance haskell garbage-collection ghc latency

4

Unterschied zwischen "mod" und "rem" in Haskell

Was genau ist der Unterschied zwischen modund remin Haskell? Beide scheinen die gleichen Ergebnisse zu liefern *Main> mod 2 3 2 *Main> rem 2 3 2 *Main> mod 10 5 0 *Main> rem 10 5 0 *Main> mod 1 0 *** Exception: divide by zero *Main> rem 1 0 *** …

130 haskell

Als «haskell» getaggte Fragen