Suchergebnisse für Anfrage "haskell"
makeLenses for GADTs (Haskell)
Gibt es ein Äquivalent vonmakeLenses für GADTs? Wenn ich ein einfaches @ haGADT mögen data D a b where D :: (Ord a, Ord b) => !a -> !b -> D a b Gibt es eine Möglichkeit, Linsen durch Übergabe eines Konstruktors und einer Liste von Feldnamen ...
GHC Versionsprüfung in Code
Ich trage zu @ bAle [http://github.com/simonmar/alex], und es hängt offensichtlich von vielen Bibliotheken ab und sollte für viele Versionen kompiliert werden. Ich muss eine Funktion verwenden, die nur von @ verfügbar iGHC 7.6.1, um ...
Ist der Versand einer dynamischen Haskell TypeClass?
Gab den folgenden Haskell-Code-Schnappschuss: class Foo a where bar :: a -> ... quux :: a -> ... ...Wo zur Laufzeit der Wert von a ermittelt wird - die Klasse löst diesen Wert aus. Ich gehe davon aus, dass der Compiler die Typen zur ...
Was ist der Unterschied zwischen Merkmalen in Rust und Typenklassen in Haskell?
Züg [http://rustbyexample.com/trait.html] in Rust scheinen zumindest oberflächlich ähnlich zu typeclasses [http://en.wikipedia.org/wiki/Type_class] in Haskell, jedoch habe ich gesehen, dass Leute schreiben, dass es einige Unterschiede zwischen ...
Anwenden einer Liste von Funktionen in Haskell
Ich habe eine Funktion geschrieben, die eine Liste von Funktionen auf ein Element anwendet. applyAll :: [a -> b] -> a -> [b] applyAll [] _ = [] applyAll (f:fs) x = (f x) : (applyAll fs x) Gibt es einen besseren Weg, es zu tun?
Liste von `DataKind` in GADT
HaftungsausschlusGADTs & DataKinds sind für mich unerforschtes Gebiet, daher sind mir einige ihrer Einschränkungen und Fähigkeiten unbekannt. Die FragSo schreibe ich einen AST für einen JavaScript-Code-Emitter, und ich habe einen Randfall ...
Wie definiere ich eine Funktion in ghci über mehrere Zeilen?
Ich versuche, eine einfache Funktion zu definieren, die sich über mehrere Zeilen in ghci erstreckt. Als Beispiel gilt: let abs n | n >= 0 = n | otherwise = -n Bisher habe ich versucht, die Eingabetaste nach der ersten Zeile zu ...
Gibt es in Haskell etwas Ähnliches wie Unterwächter?
Ich schreibe ein Programm zur Klassifizierung musikalischer Intervalle. Die konzeptionelle Struktur ist ziemlich kompliziert und ich würde sie so klar wie möglich darstellen. Die ersten Codezeilen sind ein kleiner Auszug, der ordnungsgemäß ...
Da "fold" nicht leistungsfähig genug ist, um einen hübschen Baumdrucker mit Einrückung zu schreiben, was ist ein Kombinator höherer Ordnung?
Zum Beispiel den folgenden Baumdatentyp: data Tree a = Node [Tree a] | Leaf a deriving Show type Sexp = Tree StringWie drücke ich eine "hübsche" Funktion mit einem Kombinator höherer Ordnung aus, der den Baum mit der richtigen Einrückung druckt? ...
Breitensuche mit Staatsmonade in Haskell
or kurzem habe ich eine Frage zum Erstellen eines DFS-Baums aus Graph in Stackoverflow gestellt und festgestellt, dass dies einfach mit State Monad implementiert werden kan DFS in ...