Nachdem ich sowohl diesen Thread als auch das verlinkte Papier gelesen habe, verstehe ich nicht, wie sich FRP (Functional Relational Programming) von (FP) Functional Programming unterscheidet.
Erweitert oder ersetzt FRP FP? Kann FRP als Bibliothek in einer FP-Sprache implementiert werden?
Funktionale relationale Programmierung scheint, wie der Name schon sagt, eine Mischung aus funktionaler Programmierung und relationalem Modell zu sein. Ich denke, dieser Satz fasst es ziemlich gut zusammen (S. 42):
In FRP nimmt jeder wesentliche Zustand die Form von Beziehungen an, und die wesentliche Logik wird unter Verwendung einer relationalen Algebra ausgedrückt, die um (reine) benutzerdefinierte Funktionen erweitert wird.
Die funktionale Programmierung entfernt den Zustand aus der Gleichung und behandelt nur reine Funktionen (keine Nebenwirkungen). Dies soll die Dinge für alle einfacher machen, indem verhindert wird, dass Datenmanipulationen ausgeblendet werden, wodurch es einfacher wird, über das Programm nachzudenken. FP ist ein schönes Ideal, aber in realen Anwendungen ist der Zustand notwendig und oft nützlich. Es ist natürlich möglich, einen Zustand in FP zu haben, es ist nur ein bisschen mehr involviert.
Basierend auf einem kurzen Blick auf das Papier scheint es, dass sie versuchen, FP zu vereinfachen, indem sie den Zustand auf streng kontrollierte Weise zulassen. Relationale Daten sind gut strukturiert und leicht zu überlegen, und funktionale Programme sind leicht zu überlegen (vielleicht nicht im menschlichen Sinne). Lassen Sie uns also FP mit R erweitern und das staatsliebende Leben aller einfacher machen.