Von Simon Peyton Jones (jüngstes Mitglied der Royal Society) haben wir das Papier gelesen: Implementierung fauler Funktionssprachen auf Standardhardware: die Spineless Tagless G-Machine .
Dieses Papier ist Teil dessen, wie sie Haskell bei der Implementierung zu einer faulen Sprache gemacht und einige Probleme gelöst haben, die sie zu dieser Zeit hatten.
Das einzige vergleichbare Papier scheint zu sein: Kompilieren fauler Funktionsprogramme basierend auf der Spineless Tagless G-Maschine für die Java Virtual Machine, aber es scheint keine Implementierung verfügbar zu sein.
Eine tangential verwandte ist: Kompilieren von Haskell zu Java . Bei diesem Ansatz verlassen sie jedoch die Implementierung der Spineless Tagless G-Machine in GHC und lesen nur die Ausgabe.
Meine Frage ist: Gibt es andere Implementierungen der spineless tagless G-Maschine als in GHC?