Suchergebnisse für Anfrage "functor"

4 die antwort

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 ...

4 die antwort

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 ...

6 die antwort

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 ...

TOP-Veröffentlichungen

2 die antwort

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 ...

6 die antwort

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 ...

6 die antwort

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 ...

4 die antwort

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-] ...