Eine Bytecode-VM für Arithmetik in Haskell: Der Parser

Dieser Beitrag beschreibt den ersten Teil eines Projekts zum Bau einer Bytecode-virtuellen Maschine für arithmetische Ausdrücke in Haskell. Die VM wird einfache arithmetische Ausdrücke, einschließlich let-Bindungen und geschachtelter let-Ausdrücke, parsen, kompilieren, interpretieren und ausführen. Der Autor erklärt die Grammatik der Ausdrücke, die Implementierung des Parsers (mit der Bibliothek attoparsec) und die Fehlerbehandlung. Unit-Tests werden vorgestellt, um die Korrektheit des Parsers zu validieren. Eine kurze Übersicht über die Implementierung und die Tests des AST-Interpreters ist ebenfalls enthalten. Zukünftige Beiträge werden den Compiler und die virtuelle Maschine behandeln.