Suchergebnisse für Anfrage "typeclass"
Sind Typensynonyme mit Typklasseneinschränkungen möglich?
Fühlen Sie sich frei, den Titel zu ändern, ich bin einfach nicht erfahren genug, um zu wissen, was wirklich los ist. Also habe ich ein Programm geschrieben, auf dem ich lose ...
Confused by the meaning of the 'Alternative' type class and its relationship to other type classes
Ich habe das durchgegangenTypeclassopedia um die typklassen zu lernen. Ich verstehe nicht
Verwenden Sie Kontextgrenzen "negativ", um sicherzustellen, dass keine Typklasseninstanz im Gültigkeitsbereich vorhanden ist
tl; dr: Wie mache ich so etwas wie den erfundenen Code unten:
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 ...
Warum lieber Typeclass als Inheritance?
DemzufolgeErik Osheims Folie [http://plastic-idolatry.com/typcls/#hard-oo-yes], sagt er, dass die Vererbung das gleiche Problem lösen kann wie die Typenklasse, erwähnt aber, dass die Vererbung ein Problem mit dem Namen hat: spröde Erbschaft ...
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 ...
Vorschlag für lokale Datendeklarationen / -instanzen
Ich bin neugierig und konnte in Haskell keinen Vorschlag für so etwas finden. Überlegen Sie, ob
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 ...
alternativ zu Typenklassen?
haskell Programmierer. mit F #. keine typen in f #. Was soll ich verwenden, wenn ich Typenklassen benötige?