Suchergebnisse für Anfrage "functor"
Monad mächtiger als Applicative?
Ich sah vergangene Diskussion [https://stackoverflow.com/questions/23342184/difference-between-monad-and-applicative-in-haskell] konnte aber nicht erkennen, warum eine der Antworten tatsächlich richtig ist. Applicative <*> :: f (a -> b) -> f ...
Warum sollte eine js-Map in einem Array das ursprüngliche Array ändern?
Ich bin ziemlich verwirrt über das Verhalten von map (). Ich habe ein Array von Objekten wie folgt: const products = [{ ..., 'productType' = 'premium', ... }, ...]und ich übergebe dieses Array an eine Funktion, die dasselbe Array zurückgeben ...
Ist da ein Functor, der kein gesetzestreuer Bewerber sein kann?
A recent question [https://stackoverflow.com/questions/36274369/what-are-some-types-that-discriminate-between-categories] fragte allgemein nach den Grenzen zwischen verschiedenen Haskell-Klassen. Ich hatte die Idee ...
Indexing in Container: die mathematischen Grundlagen
Wenn Sie ein Element aus einer Datenstruktur ziehen möchten, müssen Sie dessen Index angeben. Aber die Bedeutung vonInde hängt von der Datenstruktur selbst ab. class Indexed f where type Ix f (!) :: f a -> Ix f -> Maybe a -- indices can be out ...
Wie schreibe ich Code in F # für das, was Funktoren in OCaml tun?
Ich habe viele Programme in OCaml geschrieben, einige von ihnen verwenden Funktoren. Jetzt überlege ich, einen Teil des Codes in F # zu schreiben und neu zu schreiben (um einige Vorteile zu nutzen, die OCaml nicht hat). Eine Sache, vor der ich ...
Wie sind Functors nützlich?
Wir wissen, dass jeder generische TypF[_] mitmap Methode, die einigen @ entspric Gesetz [http://eed3si9n.com/learning-scalaz/Functor+Laws.html], ist ein functor. Zum Beispiel,List[_], Option[_], undF[A] = Env => A sind functors. Ich frage mich ...
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-] ...