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.
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...
Könnte jemand den Unterschied zwischen abhängigen Typen und Verfeinerungstypen erklären? So wie ich es verstehe, enthält ein Verfeinerungstyp alle Werte eines Typs, der ein Prädikat erfüllt. Gibt es ein Merkmal abhängiger Typen, das sie unterscheidet? Wenn es hilft, bin ich über das Liquid...
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...
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...
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...
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...
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...
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...
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...
Beim Lesen von Uday Reddys Antwort auf Was ist die Beziehung zwischen Funktoren in SML und Kategorietheorie? Uday sagt aus Die Kategorietheorie kann noch nicht mit Funktionen höherer Ordnung umgehen. Eines Tages wird es. Da ich dachte, dass die Kategorietheorie als Grundlage für Mathematik dienen...
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...
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...
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Ich bin ein Universitätsstudent und wir studieren derzeit Lambda Calculus. Es fällt mir jedoch immer noch schwer, genau zu...
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...
Unser Professor hat uns gebeten, uns eine Funktion in OCaml zu überlegen, die den Typ hat 'a -> 'b dh eine Funktion eines Arguments, das alles sein kann und das etwas anderes zurückgeben kann. Ich dachte an die Verwendung raisein einer Funktion, die ihr Argument ignoriert: let f x = raise Exit...
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...
Ich habe mir den Vortrag von Jim Weirich mit dem Titel " Adventures in Functional Programming " angesehen. In dieser Vorlesung stellt er das Konzept der Y-Kombinatoren vor, die im Wesentlichen den Fixpunkt für Funktionen höherer Ordnung finden. Eine der Beweggründe, wie er es erwähnt, ist,...
Laut diesem Artikel gibt die folgende Zeile des Lisp-Codes "Hello world" in der Standardausgabe aus. (format t "hello, world") Lisp, eine homoikonische Sprache , kann Code wie folgt als Daten behandeln: Stellen Sie sich nun vor, wir hätten folgendes Makro geschrieben: (defmacro backwards (expr)...
In letzter Zeit habe ich großes Interesse daran, Aspekte von (funktionalen) Programmiersprachen zu verstehen und zu beweisen. Wenn ich jedoch tiefer in die Materie eintauche, sind Dinge wie Berechnung, Kategorietheorie und Denotationssemantik ohne angemessene Erklärung etwas schwierig zu...
In Philip Wadlers Aufsatz über Theorems for Free stellt er in Abschnitt 2 über Parametrizität fest, dass Es gibt keine naiven satztheoretischen Modelle der polymorphen Lambda-Rechnung In der naiven Mengenlehre sind Modelltypen Mengen und Funktionen Mengenlehrefunktionen, was vernünftig erscheint....