haskell

1Hitze

1Antwort

Wie ein RankNType qualifizierter Konstruktor

(AKTUALISIERT) Ich habe gemacht eine Schnittstelle mit einem Free Monad, um einen generischen Datenspeicher einen Wert aus dem IO Monade asign. Ich möchte den spezifischen Interpreter (:: DataStore a

haskell free-monad higher-rank-types 2016-07-29

---

0Hitze

1Antwort

Get Constraint in GADT-Stil-Deklaration, ohne speziell Konstruktor zu verwenden?

Beachten Sie Folgendes: {-# LANGUAGE GADTs, GADTSyntax #-} data Test a where Test :: Ord a => { first :: a, second :: a } -> Test a comp :: Test a -> Bool comp (Test fst snd) = fst < snd D

haskell type-constraints gadt 2016-07-29

---

4Hitze

1Antwort

Suche nach Rewrite-Regeln

Gibt es eine Möglichkeit, Umschreibregeln zu durchsuchen oder zu suchen? Wenn ich Flags wie -ddump-rule-firings oder -ddump-rule-rewrites verwende, erhalte ich nur den Namen der gefeuerten Regel und d

haskell ghc 2016-07-29

---

0Hitze

1Antwort

Convert JSON zurück zu Daten in Haskell

ich folgendes Haskell habe meine WCF-Dienst zu nennen: {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE DeriveGeneriC#-} module Main where import Data.Aeson import Data.Dynamic import Data.Aeson

json haskell 2016-07-29

---

1Hitze

2Antwort

Nachteile (:) in CoffeeScript?

Haskell bietet die : Funktion ein Element in einer Liste vorangestellt wird: *Main> :t (:) (:) :: a -> [a] -> [a] Beispiel: *Main> 1 : 2 : 3 : [] [1,2,3] Gibt es eine solche Funktion/Operator gi

list haskell coffeescript 2016-07-29

---

1Hitze

1Antwort

Haskell Multi-line Lambdas

Ich lerne Haskell von learnyouahaskell.com und es ist ein Beispiel, so dass: search :: (Eq a) => [a] -> [a] -> Bool search needle haystack = let nlen = length needle in foldl (\acc x - > i

haskell lambda multiline parse-error 2016-07-30

---

6Hitze

1Antwort

Primitiver aber effizienter Grep-Klon in Haskell?

Immer wenn ich über eine neue Sprache nachdenke - haskell in diesem Fall - versuche ich einen primitiven grep-Klon zu hacken, um zu sehen, wie gut die Sprachimplementierung und/oder ihre Bibliotheken

regex haskell grep 2016-07-30

---

1Hitze

1Antwort

Wie erstellt man eine Typinstanz der Klasse in Haskell?

Ich bin ein Neuling in Haskell. Ich suche, ob es eine Möglichkeit gibt, eine Instanz des Typs einer Klasse zu erstellen. Gibt es eine Möglichkeit, diesen Code ohne Verwendung von Daten oder Newtype fu

haskell types church-encoding 2016-07-30

---

1Hitze

1Antwort

Heist Beispiel funktioniert nicht: 'hcCompiledSplices' ist kein Datensatzselektor

Ich versuche zu verstehen, wie man Heist benutzt, aber keines der Beispiele, die ich finde, scheint zu funktionieren und ich kann nicht finden, dass jemand anderes das hat das gleiche Problem, das ich

haskell snap-framework heist 2016-07-30

---

-2Hitze

2Antwort

Warum ist die Art der folgenden Funktion t -> (t -> t1) -> t1

rev a b = b a ich es einfach nicht bekommen, warum diese Funktion den t -> (t -> t1) -> t1 Typen hat?

haskell functional-programming 2016-07-31

---