valhallac

valhallac

Der Valhalla -Compiler

VALHALLA -Programmiersprache

Dies ist der Parser und Compiler für Valhalla, der die virtuelle Maschine ausschließt, auf der der kompilierte Bytecode läuft, dh Brokkr VM.

In (schwere) Entwicklung

[!!] Planen Sie eine vollständige Umschreibung und balancieren Arbeiten.

---

Was wurde bisher am Front-End gemacht:

• Parser
  • Lexikalische Analyse, vollständige UTF-8-Unterstützung, Handhabung: Identifikatoren, Symbole, Zahlen, Zeichenfolgen (UTF-8 mit einer guten Anzahl von Flucht), alle möglichen Klammern für: Vektoren, Sets und Gruppierung usw.
  • Infix-, Präfix- und Suffix -Notation.
  • Richtige Parsen von Vorrang, Arität und Assoziativität.
  • Die Basisoperatoren für die Sprache.
  • Richtige Funktionsaufrufe, Currying / teilweise Anwendung von Funktionen werden ordnungsgemäß implementiert (Haskell-ähnliche Funktionen).
  • Fehlermeldungen mit ausgefallener Zeile und Spaltennummer und Ausleger der Quellzeile.
  • Konstante Faltungsoptimierungen bei trivial abzügleren numerischen Berechnungen zur Kompilierungszeit.
  • Implizite Kompilierungszeit-Typ-Kasten in bestimmten Situationen.
  • Makros (einschließlich Makrodefinitionen und Makroanwendung).
  • Benutzerdefinierte binäre Operatoren als Aliase zu Funktionen.
• Compiler (Bytecode generieren, um eine ausführbare Datei zusammenzustellen).
  • Tabelle von Konstanten und Einheimischen mit grundlegenden Push & Pop -Anweisungen sowie grundlegende Arithmetik.
  • Zugriff, Zuordnung und Abrufen lokaler Variablen im Code-Block-Bereich.
  • Curry -Funktionen erzeugen.
  • Optimieren Sie die Funktionen, um nicht zu curry, wenn das Currying nicht erforderlich ist (durch Verfolgung der Definition und des Funktionsaufrufs der Funktionsfunktion).
  • Optimieren Sie Funktionen, um nicht global nach Variablen zu suchen, wenn sie aus verschachtelten Schließungen stammen (verschachtelte Schließungen implementieren Currying).
  • Optimieren Sie die Funktionen für Tail -Anrufe.
  • Variable und Funktionstypen verfolgen.
  • Marshaling, dh Serialisierung des Bytecode und Speichern in einer Datei zur zukünftigen Interpretation und Ausführung durch die virtuelle Maschine.
  • ...

Die VM, dh das Backend für die Sprache, wird separat entwickelt und wird halbunabhängig fortschreiten.

Kompilieren und rennen

Benötigt für den Moment Rost jeden Moment.

In Ihrer Shell können Sie in der Stammin dieses Repositorys schreiben:

cargo run [source-file-to-compile.vh] [-o out-file] [-v]

Oder lassen Sie den Compiler -Debug -Informationen wie Token -Streams, Syntaxbäume, Symboltabellen, Bytecode -Anweisungen usw., verwenden --features=debug :

cargo run --features=debug [source-file.vh]

Zum Beispiel können Sie laufen.

cargo run test_source.vh -v   # For verbose output.

Um die Kompilierung mit der eingeschlossenen Test-File ( test_source.vh ) zu demonstrieren. Das Argument einer Kompilierung einer Quelldatei ist natürlich notwendig.

Beispiel dafür, was der Compiler derzeit tut:

current_compiler_test.md

Beschreibung

Dieses Repository enthält das Front-End (Parser- und Bytecode Compilation), das die Syntax und die Semantik des Quellcode verarbeitet. Der erzeugte AST wird dann zu BrokKR VM -Bytecode zusammengestellt. Die Ausführung des nachfolgenden Bytecode wird von der VM (Virtual Machine) der Sprache als BrokKR bearbeitet, die getrennt von diesem Repository existiert.

Valhalla ist eine set-theoretische Programmiersprache. Das heißt, es basiert auf Prinzipien aus der festgelegten Theorie, so dass alle Typen nur Sätze sind, und daher ist alles nur ein Element eines Satzes. Die Sprache soll eine neue Möglichkeit geben, mit Typen zu interagieren, und bietet eine intuitive Möglichkeit, über sie nachzudenken. Ein Ziel ist, dass es auch verwendet werden kann, um Beweise und dergleichen in und um die festgelegte Theorie zu überprüfen.

Die Sprache ist ein allgemeiner Zweck, aber anstatt vollständig objektorientiert oder funktional usw. zu sein, ist sie nur festgelegt. Nach dem, was ich gesammelt habe, ist es kein sehr beliebtes Paradigma ... wahrscheinlich aus gutem Grund, aber hey, es könnte interessant sein.

Abhängigkeiten

Erheblich reduziert sein.