Als «functor» getaggte Fragen

Der Begriff "Funktor" hat mehrere gemeinsame Bedeutungen: 1. Funktionsobjekt. In objektorientierten Sprachen ist dies eine Funktion, mit der Objekte so verwendet werden können, als wären sie normale Funktionen. 2. Eine mathematische Struktur, die sich mit Zuordnungen zwischen Kategorien befasst. Dieses Konzept ist eine nützliche Abstraktion in einigen Programmiersprachen, insbesondere in Haskell, wo es als Typklasse implementiert ist. 3. In OCaml ein Modul, das ein anderes Modul als Argument verwendet.


6
Funktion als Vorlagenargument übergeben
Ich suche nach den Regeln, nach denen C ++ - Vorlagen als Argumente übergeben werden. Dies wird von C ++ unterstützt, wie in einem Beispiel hier gezeigt: #include <iostream> void add1(int &v) { v+=1; } void add2(int &v) { v+=2; } template <void (*T)(int &)> void doOperation() { int temp=0; …

17
Was ist in der funktionalen Programmierung ein Funktor?
Ich bin beim Lesen verschiedener Artikel über funktionale Programmierung einige Male auf den Begriff "Functor" gestoßen, aber die Autoren gehen normalerweise davon aus, dass der Leser den Begriff bereits versteht. Wenn Sie sich im Internet umschauen, erhalten Sie entweder übermäßig technische Beschreibungen (siehe Wikipedia-Artikel ) oder unglaublich vage Beschreibungen (siehe …


5
F # wechselt zu OCaml [geschlossen]
Geschlossen. Diese Frage entspricht nicht den Richtlinien für Stapelüberlauf . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage so dass es beim Thema für Stack - Überlauf. Geschlossen vor 4 Jahren . Verbessere diese Frage F # ist von OCaml abgeleitet, aber welche wichtigen …
126 f#  ocaml  functor 



5
Monaden als Zusatz
Ich habe über Monaden in der Kategorietheorie gelesen. Eine Definition von Monaden verwendet ein Paar benachbarter Funktoren. Eine Monade wird durch eine Rundreise mit diesen Funktoren definiert. Anscheinend sind Zusätze in der Kategorietheorie sehr wichtig, aber ich habe keine Erklärung für Haskell-Monaden in Bezug auf benachbarte Funktoren gesehen. Hat jemand …


3
Sind alle Behälter mit fester Größe starke monoidale Funktoren und / oder umgekehrt?
Das Applicative Typklasse repräsentiert laxe monoidale Funktoren, die die kartesische monoidale Struktur in der Kategorie der typisierten Funktionen beibehalten. Mit anderen Worten, angesichts der kanonischen Isomorphismen, (,)die eine monoidale Struktur bilden: -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, …

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.