Suchergebnisse für Anfrage "haskell"
bjektorientierter Polymorphismus in Haske
So habe ich Fragen gesehen, die fragen, wie man objektorientierte Programmierung in Haskell macht, wieDie [https://stackoverflow.com/questions/20184286/object-oriented-programming-in-haskell] zum Beispiel. Die Antwort lautet wie folgt: ...
Emacs Org-Mode & Literate Haskell
Im org-Modus wird eine mit einem Doppelpunkt beginnende Zeile als Quellcode formatiert. http: //orgmode.org/manual/Literal-examples.htm [http://orgmode.org/manual/Literal-examples.html] ) n gebildeten Haskell beginnen Quellcodezeilen mit einem ...
Type-Signaturen, die niemals Sinn machen
Erwäge (a->a) -> [a] -> Bool Gibt es eine aussagekräftige Definition für diese Signatur? Das heißt, eine Definition, die das Argument nicht einfach ignoriert? x -> [a] -> Bool Es scheint, dass es viele solche Signaturen gibt, die ...
Wie erstelle ich eine Liste mit einer abhängig eingegebenen Länge?
ch tauchte meinen Zeh in die Gewässer abhängiger Typen und hatte einen Riss in der kanonischen "Liste mit statisch typisierter Länge" {-# LANGUAGE DataKinds, GADTs, KindSignatures #-} -- a kind declaration data Nat = Z | S Nat data SafeList :: ...
Haskell Novice Probleme beim Teilen einer Liste in zwei Hälften
Hier ist mein Versuch, eine Funktion zu schreiben, die eine Liste mit gerader Länge in zwei gleiche Hälften aufteilt. halve :: [a] -> ([a], [a]) halve x | even len = (take half x, drop half x) | otherwise = error "Cannnot halve a list of odd ...
Quickcheck, Definieren beliebiger Instanzen mit einer Funktion, deren Ergebnis von ihren Argumenten abhängt
Ich habe eine FunktionarbExample um ein zufälliges @ zu generierExample Datentyp, der von einer Reihe von Funktionen abhängt. Ich versuche, einige Eigenschaftstests durchzuführen, indem ichquickCheck prop_example, das Problem ist, ich weiß ...
Was genau ist die Art "*" in Haskell?
n Haskell werden (Wertebenen-) Ausdrücke in @ klassifizier types, das mit @ notiert werden ka:: wie so:3 :: Int, "Hello" :: String, (+ 1) :: Num a => a -> a. Ebenso werden Typen in @ klassifizier Arten. In GHCi können Sie die Art ...
Warum wird mein IO nicht in der richtigen Reihenfolge ausgeführt?
Ich habe ein Problem damit, dass E / A nicht ordnungsgemäß ausgeführt wird, auch nicht innerhalb eines do-Konstrukts. Im folgenden Code verfolge ich nur, welche Karten noch übrig sind, wo die Karte ein Tupel von Zeichen ist (eine für Farbe und ...
Cabal Install Cabal-Installationsfehler unter Linux
Ich verwende Linux (Centos 6.6). Wenn ich versuche, den Befehl cabal install cabal-install auszuführen, werden folgende Fehler angezeigt: cabal: cannot configure unix-2.7.0.1. It requires base >=4.5 && <4.8 For the dependency on base >=4.5 && ...
Lift, um das * Innere * eines Monadentransformatorstapels zu reparieren
ngenommen, ich habe einIO Int eingewickelt in einStateT MyState, dann habe ich einen Wert vonState MyState Int was ich in der gestapelten Monade verwenden möchte. Wie hebe ich es in diesem inneren Sinne auf? Ich weiß schon @ zu benutzlift ...