Was ist der allgemeine Fall für die Promo-Funktion von QuickCheck?

Was ist die allgemeine Bezeichnung für einen Funktor mit einer Struktur, die der von QuickCheck @ ähnelpromote -Funktion, d. h. eine Funktion der Form: promote :: (a -> f b) -> f (a -> b) (Dies ist die Umkehrung vonflip $ fmap (flip ($)) :: f (a ...

Wie ist die Beziehung zwischen Profunktoren und Pfeilen?

nscheinend jedesArrow ist einStrong [https://hackage.haskell.org/package/profunctors-4.3.2/docs/Data-Profunctor.html#t:Strong] profunctor. Tatsächlich^>> [https://hackage.haskell.org/package/base-4.9.0.0/docs/Control-Arrow.html#v:-94--62--62-] ...

Gibt es eine Monade ohne entsprechenden Monadentransformator (außer IO)?

Bisher hatte jede Monade (die als Datentyp dargestellt werden kann), auf die ich gestoßen bin, einen entsprechenden Monadentransformator oder könnte einen haben. Gibt es so eine Monade, die keine haben kann? OderHaben alle Monaden ...

Was ist die Definition von Applicative Functor aus der Kategorietheorie POV?

Ich konnte die Definition von Functor aus der Kategorietheorie wie folgt auf die Definition von Haskell abbilden: since objects ofHask sind Typen, der FunktorF maps jeder Typa vonHask zum neuen TypF a indem Sie grob gesagt "F" voranstellen.maps ...

Was sind einige Typen, die zwischen Kategorien unterscheiden?

Ich werde immer noch mit all diesen kategorietheoretischen Dingen vertraut und fast jedes Beispiel, das ich sehe, ist mit einem Vielleicht oder einem Array. Aber ich habe keine Beispiele gefunden, die zwischen diesen Kategorien unterscheiden. ...

Lax monoidale Funktoren mit einer anderen monoidalen Struktur

Applikative Funktoren sind unter Haskellers bekannt und beliebt, da sie Funktionen in einem effektiven Kontext anwenden können. Kategorietheoretisch kann gezeigt werden, dass die Methoden vonApplicative: pure :: a -> f a (<*>) :: f (a -> b) -> ...

Open Type Level Proofs in Haskell / Idris

In Idris / Haskell kann man die Eigenschaften von Daten durch Annotieren der Typen und Verwenden von GADT-Konstruktoren nachweisen, wie bei Vect. Dies erfordert jedoch das Hardcodieren der Eigenschaft in den Typ (z. B. muss ein Vect ein von einer ...

Wie hängen Funktoren in Haskell mit Funktoren in der Kategorietheorie zusammen?

Unterschied zwischen freien Monaden und Fixpunkten von Funktoren?

List basierend auf der richtigen Kan-Erweiterung

In der ``Kan-Erweiterungen zur Programmoptimierung [http://www.cs.ox.ac.uk/ralf.hinze/Kan.pdf] '' von Ralf Hinze gibt es die Definition des Listentyps basierend auf der rechten Kan-Erweiterung des vergesslichen Funktors aus der Kategorie der ...