Suchergebnisse für Anfrage "haskell"
StateT mit InputT kombinieren
Es ist eine Fortsetzung vondiese Frag [https://stackoverflow.com/questions/37908718/keeping-track-of-history-in-ghci]. Ich versuche, @ zu kombiniershell von @ ErikR'sAntworte [https://stackoverflow.com/a/37909749/165753] in meinemInputT ...
Endofunktion als Monoid
Ich versuche dies (zu Lernzwecken): {-# LANGUAGE FlexibleInstances #-} instance Monoid (a -> a) where mempty = id mappend f g = f . gerwartungid <> id gleich @ seid . id Jedoch mit(id <> id) 1 Ich erhalte diesen Fehler: Non type-variable ...
Wie bekomme ich die OverloadedStrings-Spracherweiterung zum Laufen?
Ich habe überladene Zeichenfolgen aktiviert, kann sie jedoch nicht zum Laufen bringen: $ cat overloadedstrings.hs {-# LANGUAGE OverloadedStrings #-} import qualified Data.ByteString as B import qualified Data.ByteString.Lazy as BL lazy ...
Wie ist die Beziehung zwischen Profunktoren und Pfeilen?
nscheinend jedesArrow ist einStrong [https://hackage.haskell.org/package/profunctors-4.3.2/docs/Data-Profunctor.html#t:Strong] profunctor. Tatsächlich^>> [https://hackage.haskell.org/package/base-4.9.0.0/docs/Control-Arrow.html#v:-94--62--62-] ...
Überprüfen, ob eine Liste auf Typebene eine andere enthält
Ist es möglich, eine Funktion auf Typebene zu schreiben, die @ zurückgibTrue Wenn eine Liste auf Typebene eine andere Liste auf Typebene enthält? Hier ist mein Versuch: {-# LANGUAGE TypeOperators #-} {-# LANGUAGE DataKinds #-} {-# ...
Wie kann ich Daten mit optionalen Feldern auf Typebene darstellen?
Ich arbeite an Daten für den Kontrollfluss, die einen Wert haben (polymorph, kann beliebig sein), undkönnte hat eine Prüffunktion, die prüft, ob der Wert noch gut ist, undkönnte haben eine Funktion, die "den Wert aktualisiert" (gibt neue Daten ...
Wie kann ich mit AST mit Cofree Annotation arbeiten?
Ich habe diese einfacheExpr AST und ich können es leicht zu @ konvertierString. import Prelude hiding (Foldable) import qualified Prelude import Data.Foldable as F import Data.Functor.Foldable import Data.Monoid import Control.Comonad.Cofree ...
Idiomatische boolesche Gleichheitsverwendung (Singletons)
Ich möchte eine Datenstruktur zum Speichern von Elementen erstellen, die mit Symbol auf Typebene gekennzeichnet sind. Dies data Store e (ss :: [Symbol]) where Nil :: Store e '[] Cons :: e s -> Store e ss -> Store e (s ': ss) data HasElem (a :: ...
Wie lassen sich große Haskell-Datensätze besser verwalten?
Wenn ich Feldnamen durch Buchstaben ersetze, habe ich Fälle wie diesen: data Foo = Foo { a :: Maybe ... , b :: [...] , c :: Maybe ... , ... for a lot more fields ... } deriving (Show, Eq, Ord) instance Writer Foo where write x = maybeWrite a ++ ...
Implikationen von foldr vs. foldl (oder foldl ')
Zuerst, Real World Haskell, das ich lese, sagt, niemals @ zu verwendfoldl und stattdessen @ verwendfoldl'. Also vertraue ich darauf. Aber ich bin dunstig, wann ich @ verwenden sofoldr vs.foldl'. Obwohl ich die Struktur sehen kann, wie sie auf ...