Suchergebnisse für Anfrage "typeclass"
alternativ zu Typenklassen?
haskell Programmierer. mit F #. keine typen in f #. Was soll ich verwenden, wenn ich Typenklassen benötige?
Wie kann ich widersprüchliche Beweise verwenden?
Während des SchreibensÜber das Subtyping in Haskell [https://stackoverflow.com/a/36680559/791604], mir ist der Gedanke gekommen, dass es sehr praktisch wäre, widersprüchliche Beweise wie @ "zu verwenden"True ~ False, um den Compiler über tote ...
Warum ist die Summe x y vom Typ (Num a) => a -> a -> a in Haskell?
Ich habe über Haskell gelesen und es fällt mir schwer zu verstehen, wie Funktionsdefinitionen in dieser Sprache behandelt werden. Sagen wir, ich definiere einsum Funktion: let sum x y = x + ywenn ich Haskell nach seinem Typ frage :t sumIch ...
Warum wird dieser Code mit UndecidableInstances kompiliert und anschließend eine Endlosschleife zur Laufzeit generiert?
Beim Schreiben von Code mitUndecidableInstances Vorhin bin ich auf etwas gestoßen, das ich sehr merkwürdig fand. Ich habe es geschafft, versehentlich Code zu erstellen, der typüberprüft, obwohl ich der Meinung war, dass dies nicht der Fall sein ...
Eine Monade auf eine Typklasse einschränken
ibt es in Haskell eine Möglichkeit, eine Monade einzuschränkeM a damita Erfüllen Sie eine Typklassenbedingung? Ich übersetze dasprobabilistic modeling example [http://github.com/namin/spots/tree/master/probabilisticModeling/README.markdown] ...
null statt ==
Ich habe gerade aus Interesse angefangen, Haskell zu lernen. Ich folge learnyouahaskell.com [http://learnyouahaskell.com]. Dort habe ich folgendes gefunden: null prüft, ob eine Liste leer ist. Wenn dies der Fall ist, wird @ zurückgegebeTrue, ...
Was leistet das Aux-Pattern in Scala?
Ich habe ein gewisses Gespür für das Aux-Muster (wie es in Shapeless und anderswo verwendet wird), in dem ein Typelement in einen Typparameter extrahiert wird, und ich weiß, dass es eine Problemumgehung ist, da Argumente in ...
Wie funktioniert das Ableiten von Arbeit in Haskell?
Algebraic Datentype (ADTs) in Haskell können automatisch zu Instanzen einiger @ werde typeclasses (wieShow, Eq) durch ableiten von ihnen data Maybe a = Nothing | Just a deriving (Eq, Ord)Meine Frage ist, wie funktioniert dasderivingie kann ...
Rolle der funktionalen Abhängigkeit in der Typenklasse `Unfoldable` der Haskell Collection API
Im versucht, das Design von Haskell's @ zu verstehData.Collection [https://hackage.haskell.org/package/collections-api-1.0.0.0/docs/Data-Collections.html] Bibliothek, die aus der Scala-Welt stammt. Es verwendetFunktionale ...
Wie würde ich eine Haskell-Typenklasse in F # übersetzen?
Ich versuche, die Pfeile der Haskell-Kernbibliothek in F # zu übersetzen (Ich denke, es ist eine gute Übung, um Pfeile und F # besser zu verstehen, und ich kann sie möglicherweise in einem Projekt verwenden, an dem ich arbeite.) Allerdings ...