functor

10Hitze

1Antwort

Ich versuche, eine Container-Klasse für unterschiedliche Funktionen zu implementieren, wo ich Funktionszeiger halten kann und verwenden Sie es später, diese Funktionen aufzurufen. Ich werde versuchen,

5Hitze

1Antwort

Passing dynamischen Funktors zu stl

Ich bin relativ neu in C++ und das ist mein erster Beitrag, so sanft seine ;-) Ich verstehe, wie Funktionszeiger oder Funktionsobjekte zu übergeben, wie viele stl Funktionen erfordern. Es ist mir unkl

8Hitze

1Antwort

Map Identität Funktors über Rekord

ich wie dieser einen Plattentyp haben: data VehicleState f = VehicleState { orientation :: f (Quaternion Double), orientationRate :: f (Quaternion Double), acce

5Hitze

1Antwort

QAbstractItemModel foreach Iterator mit Funktoren: Gibt es einen besseren Weg, dies zu tun?

Ich bearbeite das einfache QDomModel-Beispiel, um etwas Fleisch für meine Anwendung hinzuzufügen, und muss einige Statusflags löschen, die ich gelegentlich hinzugefügt habe. Das Iterieren durch die El

16Hitze

1Antwort

Was ist genau ein indizierter Funktor in Haskell und was sind seine Verwendungen?

Beim Studieren von Funktoren in Haskell kam ich mit Functor.Indexed Art von Funktor. Dieser Funktor definiert eine Operation namens imap. Ich habe seine Definition nicht verstanden und imap Signatur:

11Hitze

2Antwort

Fabrikat Datentyp Art * -> * Das ist kein Functor

Brent Yorgey die Typeclassopedia die folgende Übung gibt: Geben Sie ein Beispiel für eine Art von Art * -> * die nicht eine Instanz Functor gemacht werden (ohne mit undefined). Bitte sagen Sie mir, wa

10Hitze

3Antwort

Functor-Instanz für generische polymorphe ADTs in Haskell?

Wenn es darum geht, Kategorietheorie für generische Programmierung anzuwenden, leistet Haskell sehr gute Arbeit, zum Beispiel mit Bibliotheken wie recursion-schemes. Allerdings bin ich mir nicht siche

5Hitze

2Antwort

Ein Name für ein Produkt von `Const` und einem Funktor?

Ist SF bereits irgendwo definiert oder hat es zumindest einen Namen? data SF a f x = SF a (f x) instance Functor f => Functor (SF a f) where fmap g (SF a fx) = SF a (fmap g fx)

5Hitze

5Antwort

Nachbedingung für Kartenfunktionen

Haben die Kartenfunktionen (Seq.map, List.map usw.) eine implizite Nachbedingung, dass die Ausgabe die gleiche Anzahl von Elementen wie die Eingabe hat? Gehen wir weiter, wenn wir eine Art der Tree.ma

9Hitze

3Antwort

Was ist der allgemeine Fall der Promotion-Funktion von QuickCheck?

Was ist die allgemeine Bezeichnung für eine Funktors promote mit einer Struktur ähnlich der Funktion Quick Check, das heißt eine Funktion der Form: promote :: (a -> f b) -> f (a -> b) (dies ist die