Theoretische Informatik functional-programming

2

Welche persistente Datenstruktur für eine Menge von teilweise geordneten Elementen?

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 können und ich keinen Zugriff auf eine mit Gleichheit konsistente …

15 ds.data-structures functional-programming sorting

2

Was ist ein Reißverschluss und in welcher Beziehung steht er zu einer baumartigen Struktur?

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 werden?

15 ds.data-structures functional-programming tree

1

Warum erfordern funktionale Programmiersprachen die Garbage Collection?

Was hindert ghc daran, Haskell in eine verkettete Programmiersprache wie kombinatorische Logik zu übersetzen und dann einfach die Stapelzuweisung für alles zu verwenden? Laut Wikipedia ist die Übersetzung von Lambda-Kalkül in kombinatorische Logik trivial, und auch verkettete Programmiersprachen können sich bei der Speicherzuweisung ausschließlich auf einen Stapel stützen. Ist es …

14 functional-programming haskell

1

Eine mathematische (kategoriale) Beschreibung von Typklassen

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 Typklassen erfüllen, aber nicht in Haskell ausgedrückt werden. …

14 lo.logic functional-programming ct.category-theory denotational-semantics type-systems

2

Rein funktionales Äquivalent von B-Tree?

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 Dank.

14 ds.data-structures functional-programming db.databases

3

Assoziatives Hash-Mischen

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 Basis von Bäumen ausgedehnt …

14 ds.data-structures cr.crypto-security functional-programming hash-function

2

Kategorietheorie und Parser - Referenzen gesucht

Da ich mich für Parser interessiere (hauptsächlich für Parser-Ausdrucksgrammatiken), frage ich mich, ob es eine Arbeit gibt, die eine kategorische Behandlung des Parsens gibt. Jede Bezugnahme auf Anwendungen der Kategorietheorie zum Parsen wird sehr geschätzt. Beste,

13 reference-request functional-programming ct.category-theory parsing

2

Fortsetzung der Transformation von Binärfunktionen

Erinnern Sie sich an die Continuation-Passing-Transformation (CPS-Transformation), die nach (wobei festgelegt ist) und nach definiert durch In der Tat haben wir die Fortsetzung monadisch mit der Einheit definiert durch \ eta_A x \ mathrel {{:} {}} = \ lambda r. r \, x und die Multiplikation \ mu_A: \ beta …

13 functional-programming monad continuations cps-transforms

2

Differenzlisten in der funktionalen Programmierung

Die Frage Was ist neu in rein funktionalen Datenstrukturen seit Okasaki? und die epische Antwort von jbapple, die anhand von Differenzlisten in der funktionalen Programmierung (im Gegensatz zur logischen Programmierung) erwähnt wurde, woran ich mich in letzter Zeit interessiert habe. Dies führte mich dazu, die Implementierung der Differenzliste für Haskell …

13 reference-request ds.data-structures pl.programming-languages functional-programming logic-programming

1

Was macht eine Sprache (und ihr Typensystem) in der Lage, Theoreme über ihre eigenen Begriffe zu beweisen?

Ich habe kürzlich versucht, Aarons Cedille-Core zu implementieren , eine minimalistische Programmiersprache, die mathematische Theoreme zu ihren eigenen Begriffen beweisen kann. Ich habe auch eine Induktion für λ-codierte Datentypen darauf nachgewiesen, was klarer machte, warum seine Erweiterungen notwendig wären. Trotzdem frage ich mich immer noch, woher diese Erweiterungen stammen. Warum …

12 type-theory functional-programming constructive-mathematics

2

Welche Beziehungen bestehen zwischen Alternative, MonadPlus (LeftCatch) und MonadPlus (LeftDistributive)?

Follow up Was ist ein Beispiel für eine Monade, die eine Alternative ist, aber keine MonadPlus? : Angenommen, ist eine Monade. Was sind die Beziehungen betweem ein Wesen Alternative , eine MonadPlusCatch und MonadPlusDistr ? mmmmmmFür jedes der sechs möglichen Paare hätte ich gerne entweder einen Beweis, dass eines ein …

12 pl.programming-languages functional-programming haskell monad applicative

2

Einfache ausgewogene Bäume mit O (1) concat?

Im rein funktionalen Worst-Case-Fall haben Brodal et al. rein funktionale ausgeglichene Bäume mit O (1) verketten und O (lg n) einfügen, löschen und finden. Die Datenstruktur ist etwas kompliziert. Gibt es einen einfacheren ausgeglichenen Suchbaum mit O (1) verkettet, funktional oder nicht?

12 functional-programming ds.data-structures

1

Was genau bedeutet "semantisch beobachtbare" Nebenwirkung?

Ich habe Fragen zu reinen Funktionen. Laut Wikipedia-Seite ist eine der Voraussetzungen für eine reine Funktion: Die Auswertung des Ergebnisses verursacht keine semantisch beobachtbaren Nebenwirkungen oder Ausgaben, wie z. B. die Mutation veränderlicher Objekte oder die Ausgabe an E / A-Geräte. Was bedeutet das nun wirklich? Oder wie kann ich …

11 functional-programming semantics

3

Welche Algorithmen können mit einer Gesamtfunktionssprache mit datenparallelen Operatoren ausgedrückt werden?

Stellen Sie sich eine funktionale Programmiersprache vor, deren einzige Datentypen numerische Skalare und beliebige Verschachtelungen von Arrays sind. Der Sprache fehlen alle Mittel zur unbegrenzten Iteration, daher sind die folgenden nicht zulässig: explizite Schleifen (ohne Nebenwirkungen sowieso nicht viel zu gebrauchen) Rekursion beliebige erstklassige Funktionen (kein y-Kombinator) Die Sprache hat …

11 complexity-classes functional-programming dc.parallel-comp

1

Wie codiert man den abstrakten Algorithmus von Lamping mithilfe von Interaktionskombinatoren?

Interaktionskombinatoren wurden zuvor als Kompilierungsziel für den λ-Kalkül vorgeschlagen. Dieses Papier implementiert den vollständigen λ-Kalkül. Es ist auch bekannt, dass es möglich ist, Interaktionsnetzcodierungen des λ-Kalküls für die Teilmenge von λ-Termen zu optimieren , die EAL-typisierbar ist. In diesem Artikel wird diese Teilmenge des λ-Kalküls implementiert, indem EAL-typisierbare λ-Terme in …

10 lambda-calculus functional-programming interaction-nets

Als «functional-programming» getaggte Fragen