Ich arbeite an einem Compiler für eine verkettete Sprache und möchte Unterstützung für Typinferenz hinzufügen. Ich verstehe Hindley-Milner, aber ich habe die Typentheorie im Laufe der Zeit gelernt, daher bin ich mir nicht sicher, wie ich sie anpassen soll. Ist das folgende System solide und...
Ich bin mit der Idee der grundlegenden Beseitigung der Schwanzrekursion vertraut , bei der Funktionen, die das direkte Ergebnis eines Aufrufs an sich selbst zurückgeben, als iterative Schleifen umgeschrieben werden können. foo(...): # ... return foo(...) Ich verstehe auch, dass die Funktion als...
Gibt es einen Unterschied zwischen den beiden? Gemäß Ullmans Buch konvertieren Compiler eine Sprache in eine andere (normalerweise niedrige) Sprache, und ein Assembler auch. Wie unterscheiden sich die beiden?
Ich habe ein Problem mit dieser Übung: Sei G die folgende mehrdeutige Grammatik für den λ-Kalkül: E → v | λv.E | EE | (E) wobei E das einzelne nicht-terminale Symbol ist, λv.E die Abstraktion der Variablen v in E darstellt und EE die Anwendung darstellt. Definieren Sie eine LL (1) -Grammatik G 'so,...
Ich arbeite oft mit Lexer / Parser im Gegensatz zu einem Parser-Kombinator und sehe, dass Leute, die noch nie eine Klasse in Parsing besucht haben, nach dem Parsen von Binärdaten fragen. Typischerweise sind die Daten nicht nur binär, sondern auch kontextsensitiv. Dies führt im Grunde dazu, dass nur...
Muss die Ausgabe eines Parsers ein Baum sein oder könnte es auch ein allgemeiner Graph sein? Gibt es darüber hinaus eine Sprache oder eine plausible Sprache, die allgemeine Diagrammdarstellungen anstelle von Bäumen für ihre Syntax
Ich studiere vor kurzem über das Entwerfen von Compilern. Ich habe zwei Arten von Grammatik kennengelernt: die LL-Grammatik und die LR-Grammatik. Wir kennen auch die Tatsachen, dass jede LL-Grammatik LR ist, das heißt, LL-Grammatik ist eine richtige Teilmenge der LR-Grammatik. Die erste Methode...
Ich denke, ich verstehe, wie die Entwaldung eine Liste gleichzeitig verbraucht und produziert (von einer Fold- und einer Unfold- Funktion - siehe diese gute Antwort auf CodeReview hier ), aber als ich das mit dem Wikipedia-Eintrag über die Technik verglich, von der es sprach, "Entfernen" Bäume 'aus...
In einem Kommentar zu Learning F #: Welche Bücher mit anderen Programmiersprachen können in F # übersetzt werden, um funktionale Konzepte zu lernen? Makarius erklärte: Beachten Sie, dass der "CPS" -Ansatz die Leistung in SML / NJ erheblich beeinträchtigt hat. Das physikalische Bewertungsmodell...
Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Dies ist eine Frage aus dem Drachenbuch. Das ist die Grammatik: S→AaAb∣BbBaS.→EINeinEINb∣B.bB.einS \to AaAb \mid BbBa B → εA→εEIN→εA \to \varepsilon B→εB.→εB \to \varepsilon In der Frage wird gefragt, wie gezeigt werden kann, dass es sich um LL (1) handelt, nicht jedoch um SLR (1). Um zu beweisen,...
Ich bin ein Informatikstudent. Ich möchte meine eigene Programmiersprache erstellen (eine Basissprache mit wenigen Anweisungen). Ich weiß, wie man einen syntaktischen Analysator macht, ich habe es bereits in Perl gemacht. In einem Artikel habe ich etwas über den Compiler gelesen, ein Compiler ist...
Ich suche nach Ressourcen für den Einstieg in die Programmanalyse . Das einzige Buch, das ich zu diesem Thema gefunden habe, ist das Nielson & Nielson- Buch. Davon abgesehen scheint es nur "Compiler" -Bücher zu geben, in denen "Programmanalyse" ein Kapitel oder etwas in dieser Richtung wäre....
Lassen die Menge der Klemme und sein N die Menge der Nicht-Terminal - Symbole einiger kontextfreien Grammatik G .ΣΣ\SigmaN.NNGGG Sagen , ich habe einen String , so dass x a y ∈ S ( G ) , wobei x , y ∈ ( & Sigma; ∪ N ) * und S ( G ) sind die Formen der sentential G .a ∈ ( & Sigma; ∪...
Kann mich jemand aufklären, warum ein rekursiver Abstiegsparser mit Backtracking, der die Produktionen und S → a a (in dieser Reihenfolge) versucht, die durch die Grammatik S → a S a | gebildete Sprache nicht erkennt a a .S→aSaS→aSaS \rightarrow aSaS→aaS→aaS \rightarrow aaS→aSa | aaS→aSa | aaS...
Ich habe in meinem Grundstudium einen Kurs über Compiler besucht, in dem wir einen Compiler geschrieben haben, der Quellprogramme in einer Spielzeug-Java-ähnlichen Sprache zu einer Spielzeug-Assemblersprache kompiliert (für die wir einen Dolmetscher hatten). Im Projekt haben wir einige Annahmen...
Ich studiere Bootstrapping von Red Dragon Book Compilern und fand das T-Diagramm für Cross Compiler ziemlich verwirrend. Ich kann nicht verstehen, was unter "Compiler1 bis Compiler2 ausführen" zu verstehen ist. Kann jemand eine bessere Erklärung, Analogie oder ein Beispiel für einen realen Compiler...
Die Antwort von @ Babou auf eine kürzlich gestellte Frage erinnert mich daran, dass ich einmal einen Artikel über die Äquivalenz (sowohl hinsichtlich der Fakten, die abgeleitet oder bewiesen werden können, als auch hinsichtlich der zeitlichen Komplexität der Ausführung des Inferenzalgorithmus) der...
In Concepts in Programming Languages schreibt John Mitchell, dass die statische Typprüfung aufgrund des Halteproblems notwendigerweise konservativ (zu streng) ist. Er gibt als Beispiel: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else
Ich möchte mehr über die verkettete Programmierung erfahren, indem ich eine kleine einfache Sprache erstelle, die auf dem Stapel basiert und dem verketteten Paradigma folgt. Leider habe ich nicht viele Ressourcen zu verketteten Sprachen und deren Implementierung gefunden. Entschuldigen Sie mich...