haskell

0Hitze

1Antwort

Ich habe gerade mit Parsec begonnen und ich versuche, etwas Einfaches zu tun. Ich möchte Schlüssel-Wert-Strings, wie in this parsec tutorial gezeigt, trennen. Zum Beispiel sollte die Zeichenfolge Firs

4Hitze

1Antwort

Vergleichen Sie generierten Code in ghc

Eine allgemeine Praxis in der C-Welt, zwei Fragmets von C zu vergleichen, ist zu sehen, welche Assembly sie erzeugen. Ich wollte wissen, welcher Code GHC im Fall erzeugen würde: afmap :: Functor f =>

8Hitze

1Antwort

Ist es üblich, denselben Namen für den Datentyp und den Wertkonstruktor in Haskell zu verwenden?

im folgenden Code der Suche: data Point = Point Float Float deriving (Show) data Shape = Circle Point Float | Rectangle Point Point deriving (Show) , die aus dem Buch ein Haskell für viel Gutes Ler

1Hitze

1Antwort

Haskell: Dynamischer Objektfeldname mit Aeson

Wenn ich eine Datenstruktur habe, die zwei Werte von readFile aufnimmt; Wie verwende ich diese Werte als Feldnamen für meine toJSON Instanz Deklaration? Zum Beispiel im folgenden Code ändern sich die

2Hitze

1Antwort

Verwirrung mit showIntAtBase Unterschrift

Ich habe versucht, eine Zahl im Binärformat zu drucken, und die Funktion fand ich ist showIntAtBase :: (Integral a, Show a) => a -> (Int -> Char) -> a -> ShowS aber ich verstehe nicht, wie es funkti

8Hitze

1Antwort

Gibt es eine Verbindung zwischen `a: ~: b` und` (a: == b): ~: True`?

Gibt es eine Verbindung zwischen propositional und promoted Gleichheit? Lassen Sie uns sagen, ich habe prf :: x :~: y in Rahmen für einige Symbol s; von Pattern-Matching auf sie Refl ist, kann ich d

0Hitze

1Antwort

readInputLine mit IO-String

Ich möchte eine Eingabezeichenfolge mit einer benutzerdefinierten Eingabeaufforderung lesen, jedoch stammt die Eingabeaufforderungszeichenfolge aus unreinem Kontext, daher kann ich readInputLine nicht

6Hitze

1Antwort

Gibt es einen solchen "universellen" Haskell-Typ?

Ich Suche eine Haskell Typ A mit der folgenden Eigenschaft (mit exotischen GHC Erweiterungen ist in Ordnung mit mir ...): Für alle verfahrbaren t die folgenden beiden Typen sind isomorph: forall a. C

5Hitze

3Antwort

Wie sind Funktoren nützlich?

Wir wissen, dass jeder generische Typ F[_] mit map Methode, die einigen entspricht, ein Funktor ist. Zum Beispiel sind List[_], Option[_] und F[A] = Env => A Funktoren. Ich frage mich nur, ob diese Fu

3Hitze

3Antwort

kombiniert StateT mit InputT

Es ist ein Follow-up zu this question. Ich versuche zu kombinieren shell von @ ErikR answer in meinem InputT Schleife. main :: IO [String] main = do c <- makeCounter execStateT (repl c) []