Suchergebnisse für Anfrage "category-theory"
altbar, Monoid und Mona
Betrachten Sie die folgende Signatur vonfoldMap foldMap :: (Foldable t, Monoid m) => (a -> m) -> t a -> mDies ist "bind" sehr ähnlich, nur mit den getauschten Argumenten: (>>=) :: Monad m => m a -> (a -> m b) -> m b Es scheint mir, dass es ...
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-] ...
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. ...
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 ...
Relation zwischen `DList` und` [] `mit Codensity
Ich habe mit @ experimentieCodensity in letzter Zeit was soll sich beziehenDList mit[] unter anderem. Wie auch immer, ich habe noch nie einen Code gefunden, der diese Beziehung angibt. Nach einigen Experimenten kam ich zu folgendem ...
Was ist das Analogon der Kategorie in der Programmierung
Ich fand heraus, dass es einen Isomorphismus zwischen Logik und Programmierung gibt, genannt Curry-Howard Korrespondenz [https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence], gibt es eine solche Entsprechung für die ...
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 ...
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 ...
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 ...
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 ...
Seite 1 von 2