Seit Chris Okasakis 1998 erscheinendem Buch "Rein funktionale Datenstrukturen" sind nicht mehr allzu viele neue aufregende rein funktionale Datenstrukturen aufgetaucht. Ich kann nur einige nennen: IntMap (ebenfalls von Okasaki im Jahr 1998 erfunden, aber in diesem Buch nicht vorhanden) Fingerbäume...
Diese Frage ist inspiriert von einer weiteren Frage zu den Neuerungen in PFDS seit der Veröffentlichung von Okasakis Buch im Jahr 1998 . Ich beginne mit zwei Fragen, die ich habe: Gibt es eine rein funktionale Set-Datenstruktur, die sich der Geschwindigkeit von Hash-Tabellen nähert? Versuche sind...
Ich möchte Applicativein Bezug auf die Kategorietheorie verstehen . Die Dokumentation für Applicativesagt, dass es ein starker laxer monoidaler Funktor ist . Erstens sagt die Wikipedia-Seite über monoide Funktoren , dass ein monoider Funktor entweder lasch oder stark ist . Mir scheint also, dass...
Die meisten bekannten Algorithmen sind in dem Sinne erster Ordnung, dass ihre Eingabe und Ausgabe "reine" Daten sind. Einige sind in trivialer Weise von zweiter Ordnung, zum Beispiel Sortierung, Hashtabellen oder Map- und Fold-Funktionen: Sie werden durch eine Funktion parametrisiert, aber sie tun...
Gibt es (funktionale?) Programmiersprachen, in denen alle Funktionen eine kanonische Form haben? Das heißt, zwei beliebige Funktionen, die für alle Eingaben die gleichen Werte zurückgeben, werden auf die gleiche Weise dargestellt, z. B. wenn f (x) x + 1 und g (x) x + 2 zurückgibt, dann f (f (x) ))...
Ich lese gerade " Lambda-Kalkül und Kombinatoren " von Hindley und Seldin. Ich bin kein Experte, habe mich aber immer für Lambda-Kalkül interessiert, weil ich mich mit funktionaler Programmierung befasst habe (angefangen mit Lisp und SICP, und jetzt mit R und Haskell). In " Binary Lambda Calculus...
ACSL (Ansi C Specification Language) ist eine mit speziellen Kommentaren versehene Spezifikation für C-Code, mit der C-Code formal verifiziert werden kann. Ich habe es nicht untersucht, aber ich stelle mir vor, dass die in ACSL- Verifizierern verwendeten formalen Methoden Hoare Logic ähneln würden....
Mir ist gerade aufgefallen, dass ich davon ausgegangen bin, dass meine Frage mit "Ja" beantwortet wurde, aber ich habe keinen guten Grund. Ich stelle mir vor, dass es vielleicht einen Müllsammler gibt, der nachweislich nur die Worst-Case-Verlangsamung einführt . Gibt es eine definitive Referenz,...
Ich entwerfe eine einfache statisch typisierte funktionale Programmiersprache als Lernerfahrung. Es scheint, dass das Typsystem, das ich bisher implementiert habe, (mit ein wenig zusätzlicher Arbeit) Schnitt- und Vereinigungstypen enthalten könnte, z. B .: <Union String Integer> <Union...
Was sind die Einschränkungen der gesamten funktionalen Programmierung? Es ist nicht vollständig für Turing, unterstützt jedoch eine große Teilmenge der möglichen Programme. Gibt es wichtige Konstrukte, die Sie in einer Turing-vollständigen Sprache schreiben könnten, aber nicht in einer...
Sei ein CCC . Lassen ein Produkt bifunctor auf sein . Da Cat CCC ist, können wir curry :CCC(×)(×)(\times)CCC(×)(×)(\times) curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B Die Funktorkategorie...
Ich lese Simon Peyton Jones ' Die Implementierung funktionaler Programmiersprachen und es gibt eine Aussage, die mich ein wenig überrascht hat (auf Seite 39): Funktionale Sprachen sind in viel stärkerem Maße als imperative Sprachen syntaktische Variationen voneinander mit relativ wenigen...
Ich habe versucht, " Pearls of Functional Algorithm Design " und anschließend " The Algebra of Programming " zu lesen , und es gibt eine offensichtliche Korrespondenz zwischen rekursiv (und polynomiell) definierten Datentypen und kombinatorischen Objekten mit derselben rekursiven Definition und...
Nachdem ich einige Zeit mit 2-3 Fingerbäumen gearbeitet habe, war ich bei den meisten Operationen von deren Geschwindigkeit beeindruckt. Das einzige Problem, auf das ich gestoßen bin, ist der große Aufwand, der mit der anfänglichen Erstellung eines großen Fingerbaums verbunden ist. Da das Erstellen...
Wie kann man aus rein abstrakten mathematischen / rechnerischen Gesichtspunkten überhaupt Probleme wie 3 - SAT, Teilmenge Summe, Handlungsreisender usw. Entdecken oder über sie nachdenken? Wären wir überhaupt in der Lage, sie nur unter funktionalen Gesichtspunkten sinnvoll zu beurteilen? Wäre es...
Ich muss Sätze von Elementen vom Typ a speichern. Typ a ist teilweise geordnet, sodass der Vergleich von und kleiner, größer, gleich oder unvergleichbar sein kann.a 2ein1ein1a_1ein2ein2a_2 Ein Problem mit Hashtabellen besteht darin, dass zwei gleiche Elemente unterschiedlich dargestellt werden...
Ich war ein Kapitel in Lesen Lyah , die nicht wirklich Sinn für mich. Ich verstehe, dass Reißverschlüsse willkürlich eine baumähnliche Struktur durchqueren können, aber ich brauche eine Klärung darüber. Können Reißverschlüsse auf jede Datenstruktur verallgemeinert
Ich untersuche die Idee, ein DBMS rein funktional zu schreiben. Die traditionelle Datenstruktur für die Indizierung ist B-Tree. Ich möchte eine rein funktionale Entsprechung von B-Tree kennen, die optimiert werden könnte, um den Festplattenzugriff zu minimieren. Vielen
Eine funktionale Sprache kann als eine Kategorie angesehen werden, in der ihre Objekte Typen sind und Morphismen zwischen ihnen funktionieren. Wie passen Typklassen in dieses Modell? Ich gehe davon aus, dass wir nur die Implementierungen berücksichtigen sollten, die die Bedingungen der meisten...
Betrachten Sie die einfach verknüpfte Liste in einer rein funktionalen Umgebung. Sein Lob wurde von den Berggipfeln gesungen und wird auch weiterhin gesungen. Hier werde ich auf eine seiner vielen Stärken und die Frage eingehen, wie sie auf die breitere Klasse rein funktionaler Sequenzen auf der...