Argumente für die funktionale Programmierung [geschlossen]

Ich habe kürzlich zum Spaß F # gelernt (ich bin ein VB.NET/C# -Entwickler) und ich mag einige der Angebote wirklich. Theoretisch ist das so. Aber ich habe Probleme, mir Szenarien auszudenken, in denen ich lieber in F # als in C # codieren würde. Irgendwelche Ideen?

Einige Argumente für eine reine funktionale Programmierung:

• Es ist einfacher, Aufgaben für heutige Multi-Core-Systeme aufzuteilen
• Es ist einfacher zu beweisen, dass Ihr Programm korrekt ist
• Funktionale Komposition kann erstaunlich, knapp und kraftvoll sein

Eine vollständige Behandlung finden Sie unter Warum funktionale Programmierung wichtig ist und warum funktionale Programmierung wichtig ist .

Ich habe Probleme, mir Szenarien auszudenken, in denen ich lieber in F # als in C # codieren würde. Irgendwelche Ideen?

Von hier aus :

Asynchrone Server

• Asynchrone Workflows für die asynchrone E / A.
• Postfachprozessor für die thread-sichere Nachrichtenübermittlung.
• Unionstypen für Serverstatus und Nachrichtenkatalog.
• Pattern Matching und Tail Rekursion für die Zustandsautomaten.

Metaprogrammierung (zB Parsing)

• Parser-Generatoren wie fslex und fsyacc.
• Parser-Kombinatoren wie FParsec.
• Aktive Muster für elegante handgerollte Parser.
• Algebraische Datentypen zur Darstellung von Analysebäumen.
• Mustervergleich zum Bearbeiten von Bäumen, z. B. Anwenden von Optimierungsstufen.
• Reflexion zur Laufzeitgenerierung von schnellem Code.

Technisches Rechnen

• Funktionen höherer Ordnung für eleganten und schnellen algorithmischen Code.
• Algebraische Datentypen und Mustervergleich zur symbolischen Manipulation.
• Interoperabilität für eine Vielzahl von .NET-Bibliotheken.
• Interaktivität mit F # interaktiv.
• Berechnungsausdrücke zum Massieren von Daten.
• Maßeinheiten für verbesserte Korrektheit.

GUI-Anwendungen

• Modell als asynchrone Nachricht, die zwischen Benutzeroberflächencode und Anwendungslogikcode übertragen wird.
• Mit Funktionen höherer Ordnung können Sie Benutzeroberflächen deklarativ definieren.

Logikprogrammierung

• Permanente Sammlungen für einfaches Backtracking.
• Schwanz verlangt nach Zuverlässigkeit.
• Automatische Generalisierung für einfache generische Programmierung.

Testen

• Führen Sie Unit-Tests interaktiv durch.
• BDD bedeutet, einen Dolmetscher zu schreiben.
• Gute Skriptsprache zum Schreiben von Testgeschirren und zum Visualisieren von Ergebnissen.

Performance

• inline für eine kostenlose Abstraktion höherer Ordnung.
• Tail fordert schnelle Zustandsautomaten.
• Rein funktionale Datenstrukturen für geringe Latenz.
• Metaprogrammierung zur Generierung von optimiertem Code.

Hier ist, wofür die Programmierung mit funktionalem Stil verwendet wird - mehr oder weniger täglich.

Wir machen viele statistische und versicherungsmathematische Dinge mit ziemlich großen Datenmengen. Die aus der Datenbank abgerufenen Daten sind - im Wesentlichen statische, unveränderliche Objekte. Kein Grund, eine Klasse mit Methoden zu erstellen.

In jeder Phase der Berechnung werden einige zusätzliche Details hinzugefügt, das Objekt wird jedoch nicht wesentlich mutiert. Am "Ende" der Pipeline machen wir wirklich eine ausgefallene Reduzierung, um Summen und Zählungen und andere Dinge zu berechnen.

Stell dir das vor.

for data in summarize( enrich( calculate( some_query( criteria() ) ) ) ):
    print data

Jede "Phase" der Berechnung ist eine funktionale Programmierschleife, die eine einfache Lese-Berechnungs-Ausbeute ausführt und ein zusammengesetztes Objekt aus anderen Dingen und Ergebnissen erstellt.

(Wir verwenden Python, daher die funktionale Programmierung mit Generatorfunktionen.)

Es ist einfacher, zustandslose, unveränderliche Objekte zu verwenden.

Technisch gesehen ist es keine eindeutige Eigenschaft einer funktionalen Programmierung, und F # ist keine reine funktionale Sprache. F # bietet als einer der ML-Nachkommen einen hervorragenden Mustervergleich und algebraische Datentypen. Für jede Aufgabe, die komplexe Datenstrukturen erfordert, ist F # viel aussagekräftiger und benutzerfreundlicher als C #.

Stellen Sie sich vor, Sie implementieren einen Compiler in C # und F # - er stellt einen abstrakten Syntaxbaum dar und transformiert ihn. Dies ist viel einfacher, wenn Ihre Sprache ADTs und einen Mustervergleich bereitstellt.

Ideal für kartenreduzierte massive Multisystem- und massive Multi-Core-Parallelität. Ziemlich cool, wenn man bedenkt, dass Einstiegsserver heutzutage mit 48 Kernen (96 mit HT) ausgestattet sind.

Wenn Sie voll funktionsfähig sein möchten, probieren Sie Haskell, Erlang hat auch einige sehr coole Sachen.

Simon Payton-Jones sagte über Haskell, er wolle ein Programm haben, das offensichtlich keine Fehler enthält, anstatt keine offensichtlichen Fehler zu haben.

(Ich habe das Zitat wahrscheinlich etwas falsch verstanden, aber Sie haben die Idee)

Indem Sie Nebenwirkungen einschränken, können Sie die Richtigkeit Ihres Codes viel einfacher nachweisen.

Ein klarer Vorteil ist, dass es viel einfacher parallelisiert werden kann.