Als «functional-programming» getaggte Fragen

Funktionale Programmierung ist ein Programmierparadigma, das hauptsächlich Funktionen als Mittel zum Erstellen von Abstraktionen und zum Ausdrücken von Berechnungen verwendet, die ein Computerprogramm umfassen.

6
Ist Kategorietheorie nützlich, um funktionale Programmierung zu lernen?
Ich lerne Haskell und bin fasziniert von der Sprache. Allerdings habe ich keinen ernsthaften Mathe- oder CS-Hintergrund. Aber ich bin ein erfahrener Softwareprogrammierer. Ich möchte Kategorietheorie lernen, damit ich bei Haskell besser werden kann. Welche kategorietheoretischen Themen sollte ich lernen, um eine gute Grundlage für das Verständnis von Haskell zu …
3
Wie wird die Komplexität von Algorithmen für funktionale Sprachen modelliert?
Die Komplexität des Algorithmus ist so ausgelegt, dass sie unabhängig von Details auf niedrigeren Ebenen ist. Sie basiert jedoch auf einem zwingenden Modell, z. B. dem Array-Zugriff und dem Ändern eines Knotens in einem Baum. Dies ist in reinen Funktionssprachen nicht der Fall. Die Haskell-Liste benötigt für den Zugriff eine …
3
Was ist eine kurze, aber vollständige Erklärung eines reinen / abhängigen Typsystems?
Wenn etwas einfach ist, sollte es mit ein paar Worten vollständig erklärbar sein. Dies kann für die λ-Rechnung erfolgen: Der λ-Kalkül ist eine syntaktische Grammatik (im Grunde genommen eine Struktur) mit einer Verkleinerungsregel (was bedeutet, dass eine Such- / Ersetzungsprozedur wiederholt auf jedes Auftreten eines bestimmten Musters angewendet wird, bis …
2
In welcher Beziehung stehen Functional Reactive Programming und das Actor-Modell zueinander?
Bei FRP geht es darum, Ereignisse und Verhaltensweisen durch reine Funktionen zu streamen. Das Actor-Modell - zumindest wie es in Akka implementiert ist - befasst sich mit dem Streaming unveränderlicher Nachrichten (die als diskrete Ereignisse betrachtet werden können) durch potenziell unreine Objekte, die als Akteure bezeichnet werden. An der Oberfläche …
2
Ist Lambda Calculus rein syntaktisch?
Ich habe ein paar Wochen lang über den Lambda-Kalkül gelesen, aber ich habe noch nichts gesehen, das sich materiell von vorhandenen mathematischen Funktionen unterscheidet, und ich möchte wissen, ob es sich nur um eine Notationssache handelt oder ob es irgendwelche neuen gibt Eigenschaften oder Regeln, die von den Axiomen der …
2
Wie implementiere ich einen Prolog-Interpreter in einer rein funktionalen Sprache?
Gibt es eine klare Referenz mit Pseudocode, wie man einen Prolog-Interpreter in einer rein funktionalen Sprache implementiert? Was ich bisher gefunden habe, scheint sich nur mit imperativen Sprachen zu befassen, ist lediglich eine Demonstration von Prolog, das in sich selbst implementiert ist, oder bietet keinen konkreten Algorithmus zur Interpretation. Ich …
3
Wie ist das Verhältnis zwischen Funktoren in SML und Kategorietheorie?
Entsprechend dieser Aussage von Andrej Bauer in dieser Antwort Die Haskell-Community hat eine Reihe von Techniken entwickelt, die von der Kategorietheorie inspiriert sind. Monaden sind am bekanntesten, sollten aber nicht mit Monaden verwechselt werden . Welche Beziehung besteht zwischen Funktoren in SML und Funktoren in Kategorietheorie? Da ich keine Informationen …
2
Ist der Berechnungsausdruck derselbe wie die Monade?
Diese Frage wurde von Stack Overflow migriert, da sie in Computer Science Stack Exchange beantwortet werden kann. Vor 5 Jahren migriert . Ich lerne immer noch funktionale Programmierung (mit f #) und habe kürzlich angefangen, über Rechenausdrücke zu lesen. Ich verstehe das Konzept immer noch nicht ganz und eine Sache, …
4
Warum verwenden wir in der funktionalen Programmierung persistente Datenstrukturen?
Die funktionale Programmierung verwendet persistente Datenstrukturen und unveränderliche Objekte. Meine Frage ist, warum es hier entscheidend ist, solche Datenstrukturen zu haben. Ich möchte auf einer niedrigen Ebene verstehen, was passieren würde, wenn die Datenstruktur nicht persistent ist. Würde das Programm öfter abstürzen?
2
Kategorietheorie (nicht) zum Programmieren?
Nachdem ich Haskell und andere nicht so reine FP-Sprachen gelernt hatte, entschloss ich mich, über Kategorietheorie zu lesen. Nachdem ich ein gutes Verständnis der Kategorietheorie erlangt hatte, begann ich darüber nachzudenken, wie die Konzepte der Kategorietheorie zum Entwerfen von Programmen verwendet werden können, aber egal, wie sehr ich es versucht …
1
Warum hat die funktionale Programmierung keine dynamischen Bäume untersucht?
Diese Frage wurde von Stack Overflow migriert, da sie in Computer Science Stack Exchange beantwortet werden kann. Vor 3 Jahren migriert . Dynamische Bäume spielen eine wichtige Rolle bei der Lösung von Problemen wie Netzwerkflüssen, dynamischen Graphen, kombinatorischen Problemen ("Dynamic Trees in Practice" von Tarjan und Werneck) und kürzlich zusammengeführten …
1
Welche Klassen von Datenstrukturen können persistent gemacht werden?
Persistente Datenstrukturen sind unveränderliche Datenstrukturen. Operationen auf ihnen geben eine neue "Kopie" der Datenstruktur zurück, die jedoch durch die Operation geändert wurde. Die alte Datenstruktur bleibt jedoch unverändert. Effizienz wird im Allgemeinen dadurch erreicht, dass einige der zugrunde liegenden Daten gemeinsam genutzt werden und ein vollständiges Kopieren der Datenstruktur vermieden …
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.