Suchergebnisse für Anfrage "haskell"
Warum beschwert sich Haskell Parser Fehler bei Eingabe `| ' in dieser Funktion?
Ich sollte eine kleine Funktion in Haskell schreiben, die Elemente löscht, die zweimal in der Liste sind. Leider beschwert sich Haskell über "Parserfehler bei Eingabe" | " ". Könnte mir jemand dabei helfen? makeSets=mSet[]s where mSet stack ...
Warum können Sie ein Typensynonym, das Argumente enthält, nicht (vollständig) auf ein anderes Typensynonym anwenden?
Wir können Typ-Synonyme mit Argumenten definieren und dies funktioniert gut, wenn es mit tatsächlichen Typen verwendet wird: type MyType t = t String String data Test a b = Test a b f :: MyType Test f = undefined main = undefinedDas Kompilieren ...
Nachteil nicht angehobener Produkte?
In Haskell bedeuten Produkte vom Typ Lifted, dass zwischen (a, b, c) und (a, (b, c)) ein semantischer Unterschied besteht. Wenn alle Musterübereinstimmungen aller Produkte immer unwiderlegbar wären, gäbe es keinen Unterschied, und (a, b, c) ...
Konvertieren der Unicode-Escape-Sequenz in einen Unicode-String in Haskell
Ich habe eine Zeichenfolge wie"\3619\3657\3634\3609\3648\3592\3657\3648\3621\3657\3591" das will ich doch entschlüsseln. Ich habe erfolglos versucht, die Unicode-Bibliothek zu durchsuchen.
Monoid vs MonadPlus [duplizieren]
Diese Frage hat hier bereits eine Antwort: Warum MonadPlus und nicht Monad + Monoid? [/questions/23023961/why-monadplus-and-not-monad-monoid] 2 AntwortenIch bin sehr neu für beideMonads undMonoids und vor kurzem auch über @ gelerMonadPlus. ...
Korrekte Terminologie für Fortsetzungen
Ich habe herumgestöbert Fortsetzungen vor kurzem und ich wurde über die korrekte Terminologie verwirrt.Hie [http://www.haskellforall.com/2012/12/the-continuation-monad.html] Gabriel Gonzalez sagt: Eine Haskell-Fortsetzung hat den folgenden ...
Höherwertige Typen mit C ++
Diese Frage richtet sich an Personen, die sowohl Haskell (oder eine andere funktionale Sprache, die höherwertige Typen unterstützt) als auch C ++ kennen ... Ist es möglich, Typen höherer Klassen mithilfe von C ++ - Vorlagen zu modellieren? Wenn ...
Kann sdl2 nicht über cabal installieren
Ich versuche zu installierenhelm. Wenn ich versuche, es zu installieren, erhalte ich jedoch diese Fehlermeldung: $ cabal install helm Resolving dependencies... Configuring sdl2-1.1.0... cabal: The pkg-config package 'sdl2' version >=2.0.3 is ...
Wie kann man FRP aus gerichteten azyklischen Diagrammen ableiten?
Ich recherchiere gerade für mein nächstes Projekt. Dies befindet sich in einer Vorplanungsphase, daher dient diese Frage nur dazu, einen Überblick über die vorhandene Technologie zu erhalten. InstalliereIch habe einen gerichteten azyklischen ...
"Streng positiv" in Agda
Ich versuche, eine Denotationssemantik in Agda zu kodieren, basierend auf einem Programm, das ich in Haskell geschrieben habe. data Value = FunVal (Value -> Value) | PriVal Int | ConVal Id [Value] | Error Stringn Agda wäre die direkte ...