Datentyp -Programmierung

Question

Ich kenne "Imperative" und "funktionale" Programmierung, aber es gab wenig, was ich für "DataType" -Programmierung finden konnte. Gibt es so etwas und wie hängt es mit den anderen Paradigmen zusammen?

Answer 1

Ich habe noch nie von diesem Begriff gehört. Google hat es auch nicht. (Der einzige Treffer ist genau diese Frage.)

Das nächste, was ich mir vorstellen kann, ist Typful -Programmierung, das ist ein Programmierparadigma, das von Luca Cardelli in einem 1989 eingeführt wurde Papier gleichberechtigt.

Die Idee der Typful-Programmierung ist, dass Sie Typen und in erster Linie verwenden, um Ihre Domäne zu modellieren, Ihr Design zu fördern, Ihr Programm zu strukturieren und Ihr Problem im Allgemeinen zu lösen, so wie Sie Objekte in objektorientierter Programmierung, Verfahren in der prozeduralen Programmierung, Funktionen, Funktionen verwenden, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen, Funktionen In der funktionellen Programmierung, Klauseln in der logischen Programmierung, Prozesse in Erlang usw. Dies ist ein typischer Stil in Haskell.

Bearbeiten: Ich hatte Ihre Kommentare zu der Frage nicht gesehen, als ich diese Antwort schrieb. Ich denke, dieser zweite ist das, wonach Sie suchen.

Ein weiterer Begriff, auf den ich während der oben genannten Google-Suche gestoßen bin, ist der Begriff Datentyp-generische Programmierung. Das ist ein Forschungsprojekt Das lief von 2003 bis 2006, das darauf abzielt, einen neuen Mechanismus zum Schreiben von Programmen zu erstellen, die über die Typen, die heute mit beispielsweise parametrischer Polymorphismus in Haskell oder Templates in C ++ viel weiter möglich ist.