Funktionsprogramme organisieren [geschlossen]

Mögliches Duplikat:
Funktionale Programmierung vs. OOP
Wie schreibe ich mit funktionaler Programmierung verwaltbaren Code?

In OOP ist Ihre grundlegende Organisationseinheit für Code die Klasse. Eine in Java, C # und ähnlichen Sprachen häufig verwendete Methode besteht darin, den Code so zu organisieren, dass für jede Klasse eine Datei mit dem Dateinamen nach dem Klassennamen angegeben wird.

Sie können jede dieser Klassen als Organisationseinheit betrachten, um ein einzelnes Konzept zu gruppieren.

Diese Klassen befinden sich in Namespaces, die häufig der Verzeichnisstruktur der Dateien in der Projektmappe / im Projekt folgen. Namespaces sind eine weitere Organisationsebene.

Wie sind große Projekte in funktionalen Sprachen normalerweise organisiert?

Wie bestimmen Sie, wie Sie Ihre Funktionen in verschiedene Dateien aufteilen?

Werden andere Gruppierungseinheiten neben Dateien verwendet?

Wie ist Code normalerweise in einer einzelnen Datei organisiert?

functional-programming Gilles
quelle

@ S.Lott What's stopping you from...Jahrelange Programmierung mit einer völlig anderen Denkweise, bis zu dem Punkt, an dem Haskell-Code nicht mehr mental rechnet. Und Sie gehen natürlich davon aus, dass echte Projekte immer korrekt und ordentlich organisiert sind (vielleicht sind sie es aber, wie kann ein Noob wie ich das wissen?)

yannis

@S.Lott: Ich habe immer in OOP programmiert. Ich habe in letzter Zeit aus Neugier angefangen, mich mit funktionalen Sprachen zu beschäftigen. Sie sagen: "Warum hier fragen?". A: Um von erfahrenen Personen (oder Experten, wie die Website es ausdrückt), die mich über dieses Thema aufklären könnten, ein wenig Mentoring und Einblick zu erhalten. Ist das nicht der Zweck dieser Seite? Können nicht alle Fragen von Programmierern oder SO beantwortet werden mit: "Warum finden Sie es nicht selbst heraus?" Die Antwort lautet: Ja, das können Sie. Der Grund, die Frage zu stellen, ist, bessere / schnellere Ergebnisse von jemandem zu erhalten, der ein Experte auf diesem Gebiet ist.

Gilles

@ S.Lott: Wenn er nur zufälligen Code liest, wie wird er dann wissen, ob die organisatorischen Entscheidungen, die er getroffen hat, gut oder schlecht sind? Und warum sind sie gut oder schlecht?

Carson63000

stackoverflow.com/questions/1135168/organizing-clojure-code

Robert Harvey

@ S.Lott Zusammenfassend lässt sich festhalten, dass ein Experte für die Sprache oder das Paradigma ein gut organisiertes Projekt identifiziert, etwaige Schwächen / Mängel in der Organisation identifiziert und erklärt, warum dies weitaus wertvoller ist, als nur den Code zu lesen und sich die Organisation anzusehen mit der Annahme, dass es gut strukturiert ist.

Thomas Owens

Antworten:

Ich vermute, das hängt von der Sprache ab. Was die funktionale Programmierung anbelangt, habe ich mich hauptsächlich mit Haskell beschäftigt, daher werde ich erklären, wie es dort funktioniert.

Haskell-Code ist in "Module" unterteilt, bei denen es sich im Grunde nur um Sammlungen von Funktionen und Datentypen handelt. Jedes Modul ist eine einzelne Datei. Ein Modul ist eine Mischung aus einer Java-Klasse und einem Java-Paket - der genaue Umfang der Funktionen eines Moduls variiert. Ein Modul hat auch die Kontrolle darüber, welche Funktionen und Typkonstruktoren exportiert und welche ausgeblendet werden sollen. Dies ist ähnlich privateund publicin Java.

In meinen eigenen Programmen möchte ich, dass Module eine Sache semantisch erledigen . Dies macht sie wie eine Java-Klasse, abgesehen davon, dass sie möglicherweise mehrere Datentypen definieren. Die Module, die ich aus der Standardbibliothek verwende, Data.Listähneln eher Paketen - sie bieten eine Reihe ähnlicher Dienstprogrammfunktionen. Dies ist auch sehr ähnlich zu statischen Java-Klassen wie java.util.Arrays.

Die Module ähneln auch Java-Paketen, da sie der Übersichtlichkeit halber verschachtelt werden können (ich glaube, dies hat keine Auswirkungen auf den Code selbst). Im Allgemeinen gebe ich einem einzelnen Projekt einen Namen (etwa Project) und lasse alle meine Module Teil davon sein (z . B. Project.Parseund Project.Run). Wenn ich Code schreiben würde, der eher einer Bibliothek als einer Anwendung ähnelt, würde ich ihn auf der Grundlage dessen organisieren, was er tut, wie Data.Listoder Control.Monad. Ein wesentlicher Unterschied zu anderen Sprachen besteht darin, dass Haskell dazu ermutigt, E / A zu begrenzen und alles an einem Ort zu platzieren. Eine große Anzahl von Modulen hat überhaupt keine E / A-Funktion, und für ein bestimmtes Projekt möchte ich, dass so viele Module wie möglich rein sind.

Als Beispiel arbeite ich an einer einfachen Programmiersprache, die ich TPL nenne (ohne guten Grund). Dafür habe ich zwei einfache Module erstellt: Diese TPL.Parsedefinieren die interne Darstellung der Sprache und wie sie analysiert wird, und TPL.Runwelche den Interpreter ausführen und sich mit Variablen und IO befassen. Um den Code tatsächlich zu kompilieren und auszuführen, gibt es im Allgemeinen ein MainModul, das den Einstiegspunkt des Programms darstellt.

Die Funktionen in einer Datei können sehr frei organisiert werden. das ist genau das, was ich gerne mache. Ich definiere meine Datentypen nach oben, bevor sie woanders verwendet werden. Gleich nach dem Definieren der Datentypen implementiere ich alles, was ich brauche, um sie in die entsprechenden Typklassen aufzunehmen - das ist wie das Implementieren einer Schnittstelle. Dann folge ich mit Logik und verschiedenen Hilfsfunktionen, je nach Bedarf. Schließlich möchte ich alle meine E / A-Funktionen ganz unten mit enden lassen main. Dies macht deutlich, was genau ein IO tut und wo das Programm startet.

Zusammenfassend: Funktionen sind in Modulen enthalten, von denen jedes aus einer einzelnen Datei besteht. Mehrere Module können ein Programm oder eine Bibliothek bilden. Ersteres enthält im Allgemeinen ein MainModul, das sein Einstiegspunkt ist. Innerhalb einer Datei gibt es verschiedene Optionen für die Organisation, aber ich bevorzuge es, Datentypen oben, E / A unten und Logik in der Mitte zu gruppieren.

Tikhon Jelvis
quelle