Als «functional-programming» getaggte Fragen

Funktionale Programmierung ist ein Programmierparadigma, das darauf basiert, Abstraktionen mithilfe von Funktionen zu erstellen, Nebenwirkungen und Zustandsänderungen zu vermeiden. Reine Funktionsprogrammierung ist threadsicher.

1
"Monadentransformatoren sind stärker als Effekte" - Beispiele?
Das Papier "Programmieren und Denken mit algebraischen Effekten und abhängigen Typen" von Edwin C. Brady über Effekte in Idris enthält die (nicht referenzierte) Behauptung, dass: Obwohl [Effekte und Monadentransformatoren] in der Leistung nicht gleichwertig sind - Monaden und Monadentransformatoren können mehr Konzepte ausdrücken - werden viele gängige effektive Berechnungen erfasst. …
2
Der Unterschied zwischen reaktiver und funktional-reaktiver Programmierung
Ich habe in letzter Zeit einige Forschungen zur reaktiven Programmierung durchgeführt und finde es schwierig, eine gute Beschreibung des Unterschieds zwischen reaktiv und funktional- reaktiv zu finden. Ist es einfach so, dass die reaktive Programmierung mit funktionalen Methoden / Paradigmen implementiert wird, anstatt deklarative oder OO-Paradigmen zu verwenden?
3
Bedeutung isomorpher Funktionen
Kurze Frage: Welche Bedeutung haben isomorphe Funktionen bei der Programmierung (nämlich bei der funktionalen Programmierung)? Lange Frage: Ich versuche, einige Analoga zwischen funktionaler Programmierung und Konzepten in der Kategorietheorie zu ziehen, die auf einem Teil der Umgangssprache basieren, die ich von Zeit zu Zeit höre. Im Wesentlichen versuche ich, diesen …
1
Statistische Leistung rein funktionaler Karten und Mengen
Bei einer Datenstrukturspezifikation wie einer rein funktionalen Karte mit bekannten Komplexitätsgrenzen muss zwischen mehreren Implementierungen gewählt werden. Es gibt einige Folklore, wie man die richtige auswählt, zum Beispiel werden Rot-Schwarz-Bäume im Allgemeinen als schneller angesehen, aber AVL-Bäume haben eine bessere Leistung bei Arbeitslasten mit vielen Suchvorgängen. Gibt es eine systematische …
2
Wie komponiere ich Funktionen in Rust?
Ich versuche eine Funktion zu schreiben, die zwei Funktionen zusammensetzt. Das anfängliche Design ist ziemlich einfach: Eine Funktion, die zwei Funktionen übernimmt und eine zusammengesetzte Funktion zurückgibt, die ich dann mit anderen Funktionen zusammenstellen kann, da Rust keine Ruheparameter hat. Ich bin auf eine Wand gestoßen, die mit frustrierenden, nicht …
11
Wie hilfreich ist es, Lambda-Kalkül zu kennen? [geschlossen]
Diese Frage passt derzeit nicht zu unserem Q & A-Format. Wir erwarten, dass die Antworten durch Fakten, Referenzen oder Fachwissen gestützt werden, aber diese Frage wird wahrscheinlich zu Debatten, Argumenten, Umfragen oder erweiterten Diskussionen führen. Wenn Sie der Meinung sind, dass diese Frage verbessert und möglicherweise erneut geöffnet werden kann, …
15
Warum haben Sie sich gegen Erlang entschieden?
Gesperrt . Diese Frage und ihre Antworten sind gesperrt, da die Frage nicht zum Thema gehört, aber historische Bedeutung hat. Derzeit werden keine neuen Antworten oder Interaktionen akzeptiert. Haben Sie tatsächlich Erlang "ausprobiert" (bedeutet programmiert, nicht nur einen Artikel darüber gelesen) und sich für ein Projekt dagegen entschieden? Wenn ja …
11
Können Haskell-Funktionen mit Korrektheitseigenschaften nachgewiesen / modellgeprüft / verifiziert werden?
Weiter zu den Ideen in: Gibt es nachweisbare reale Sprachen? Ich weiß nichts über dich, aber ich habe es satt, Code zu schreiben, den ich nicht garantieren kann. Nachdem ich die obige Frage gestellt und eine phänomenale Antwort erhalten habe (Danke an alle!), Habe ich beschlossen, meine Suche nach einer …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.