De Simon Peyton Jones (recente membro da Royal Society), lemos o artigo: Implementando linguagens funcionais preguiçosas no hardware de estoque: a G-Machine Spineless Tagless .
Agora, este artigo é parte de como eles fizeram do Haskell uma linguagem preguiçosa quando a estavam implementando e resolveram alguns problemas que eles tinham na época.
O único documento comparável parece ser: Compilando programas funcionais preguiçosos com base na máquina G Spineless Tagless para a Java Virtual Machine, mas não parece haver uma implementação disponível.
Um tangencialmente relacionado é: Compilando Haskell para Java . Entretanto, nessa abordagem, eles deixam a implementação da G-Machine Spineless Tagless no GHC e apenas leem a saída.
Minha pergunta é: Existem implementações da máquina G sem marca que não seja no GHC?