Funktionale Entwurfsmuster [geschlossen]

Es gibt viele funktionale Redewendungen: Monaden, Applikative, Pfeile usw. Sie sind in verschiedenen Artikeln dokumentiert, aber leider kenne ich kein Buch oder Artikel, in dem sie an einem Ort zusammengefasst sind (es gibt Typeclassopedia, aber es gibt viele von Bereichen, die nicht gut abgedeckt sind). Kann jemand einen Artikel / ein Buch empfehlen, der / das sie an einem Ort gut abdeckt und der einem Programmierer mit fortgeschrittenen FP-Kenntnissen zugänglich ist?

Mein Vorschlag ist, wenn Sie Scala lernen möchten, das Buch von Paul Chiusano und Runar Bjarnason zu lesen:

http://manning.com/bjarnason/

Teil II: Funktionsdesign und Kombinatorbibliotheken

6. Kleine Sprachen machen
7. JSON-Serialisierung
8. Spezifikationsbasierte Tests
9. Parser
10. Rein funktionale Parallelität
11. Rein funktioneller Zustand

Teil III: Funktionale Entwurfsmuster

1. Der Fall für die Abstraktion
2. Monoide
3. Funktoren
4. Monaden
5. Anwendbare Funktoren
6. Durchquerbare und faltbare Datenstrukturen
7. Comonaden

Teil IV: Regeln brechen: Effekte und E / A.

1. Effekte vs. Nebenwirkungen
2. Stream-Verarbeitung und inkrementelle E / A.
3. Erzwingen des Effekt-Scoping mit dem Typsystem

Es tut mir leid, dass ich keine Artikel oder Bücher kenne, die die verschiedenen Verwendungen für all diese Konstrukte detailliert behandeln, aber ich kann Ihnen einige Links zu einzelnen Ressourcen geben.

Ein weit verbreitetes Muster besteht darin, Monadentransformatoren anstelle einfacher Monaden zu bauen (siehe auch den Link im nächsten Absatz). Es bedeutet im Grunde, dass Sie etwas bauen, das mit anderen Monaden kombiniert werden muss, was zu einer komplexeren Monade führt, die die Funktionen beider Monaden verarbeiten kann.

In Real World Haskell gibt es einige Kapitel über Monaden. In Kapitel 14. Monaden erklären die Autoren die Grundlagen und einige gebräuchliche Verwendungen (möglicherweise Liste, Zustand). Kapitel 15. Das Programmieren mit Monaden enthält weitere Erklärungen zu deren effektiver Verwendung (es behandelt auch die Lesermonade). Im folgenden Kapitel wird die Verwendung von Parsec erläutert. Es kann jedoch interessanter sein, nach Artikeln zu suchen, die die tatsächliche Funktionsweise von Paraden beschreiben: Es sollte ein wirklich gutes Beispiel für eine gut organisierte Verwendung von Monaden zum Parsen sein. Fianlly, Kapitel 18. Monadentransformatorenstellt vor, wie Monadentransformatoren funktionieren, und zeigt dann Schritt für Schritt, wie man einen erstellt. Interessant sind auch die Überlegungen zu den letzten Abschnitten des Kapitels.

Ich habe einmal eine wirklich interessante Frage zu SO über den kreativen Einsatz von Monaden gelesen . Die vorgeschlagenen Links waren großartige Lektüren zum Thema. Mit diesem Geist habe ich versucht, dasselbe nach Pfeilen zu fragen : Ich habe definitiv weniger Antworten als die auf Monaden bekommen, aber trotzdem interessante.

In Bezug auf OOP-Muster der vierköpfigen Gruppe gibt es in ihrer Reihe Functional Thinking eine Reihe von drei Artikeln von IBM zu diesem Thema . Die Zielfunktionssprache ist Scala. Anschließend erklären sie die üblichen Entwurfsmuster in OOP und zeigen, wie sie in Scala abgebildet werden.

1. Funktionales Denken: Funktionale Entwurfsmuster, Teil 1 . Hier decken sie Fabriken, Vorlagenmethoden, Strategie, Fliegengewicht ab. Das Fazit ist, dass durch Funktionen als erstklassige Werte alles viel einfacher ist.
2. Funktionales Denken: Funktionale Entwurfsmuster, Teil 2 . Hier geht es um Java und Groovy . Es adressiert das Adaptermuster.
3. Funktionales Denken: Funktionale Entwurfsmuster, Teil 3 . Hier sprechen sie über das Interpretermuster. Auch hier ist die Zielsprache groovig.

Der relevanteste Artikel für Ihre Frage ist sicherlich der erste, aber die beiden anderen können dennoch interessante verwandte Lesarten sein.

Jeremy Gibbons hat einen Patterns in FP-Blog, der irgendwann so ziemlich das Buch werden soll, nach dem Sie fragen. Natürlich ist das noch nicht in der Lage, so nützlich zu sein, wie Sie es sich gerade wünschen, aber er verdient etwas Ermutigung!

In der Zwischenzeit sage ich +1 für Brent Yorgeys Typeclassopedia. Es ist wirklich nützlich, und wenn es spätere Teile gibt, die verwirren, ist diese Seite ein guter Ort, um ihnen auf den Grund zu gehen. Ich weiß, dass Brent es überprüft. Wenn er seine Leser nicht erreicht, geben Sie ihm Hilfe.

Viele FP-Artikel werden auf Olegs Website veröffentlicht: http://okmij.org/ftp/

Präsentation über FP-Muster von Josh Suereth: http://jsuereth.com/intro-to-fp/

Haben Sie die späteren Kapitel von Learn You a Haskell for Great Good gelesen ?

• Kapitel 6 behandelt Karten und Falten, die zwei der wichtigsten "Entwurfsmuster" in funktionalen Sprachen sind.

• In den Kapiteln 11-13 werden Funktoren, anwendbare Funktoren und Monaden in dieser Reihenfolge behandelt. Dies ist hilfreich - in vielen Tutorials werden Functors und dann Monaden vorgestellt und am Ende Applicative Functors angeheftet (sofern sie überhaupt behandelt werden). Die Reihenfolge in LYAH ist besser, denn wenn Sie von Functors => Applicative Functors => Monaden wechseln, steigen Sie allmählich die Leiter der Allgemeinheit und Macht hinauf.

• Kapitel 14 behandelt Reißverschlüsse - Sie können sich diese effektiv als Containerklassen mit einem Zeiger auf ein bestimmtes Datenelement vorstellen, was bedeutet, dass Sie O (1) -Zugriff erhalten und an der Zeigerposition aktualisieren.

Es werden keine Pfeile oder Comonaden behandelt, die in Haskell ein fortgeschritteneres Thema sind. Um zu verstehen, wie und warum man Pfeile oder Comonaden verwendet, sollte man Monaden auf jeden Fall bereits gut verstehen, daher denke ich nicht, dass dies ein Problem ist - LYAH ist fest auf das Anfänger-Ende des Haskell-Marktes ausgerichtet.