Basta prover acesso ao modelo de objetos e acesso de baixo nível a memória.

Porém permitir que ele seja modificado em tempo de execução não seria muito simples, mas facilitar a exploração é perfeitamente possível.

Agora, eu me pergunto se (ou “como”) eles colocariam o GC exposto ao usuário como se fosse qualquer outro objeto…

O ambiente de execução é baseado em máquinas virtuais, porém não usa propriamente uma. Uma vez que a VM é escrita na mesma linguagem da aplicação e está aberta as mesmas operações sobre forma e função, a barreira entre elas some e a máquina virtual característica de hoje se dissolve e some no meio dos objetos da aplicação.

Dizer ou não que o ambiente usa uma máquina virtual é uma questão de gosto, eu diria. Pois no fundo Coke roda em cima de um ambiente gerenciado típico de máquinas virtuais: GC, carga e transformação dinâmica de código, ambiente fortemente tipado com introspecção e por ai vai.

Por que não? Extraído do “Making COLAs with Pepsi and Coke” [1]:

“Providing a dynamic execution model, for which both dynamic and static code can be generated, eliminates the need for a central interpreter – or VM-like agent, and ensures that everything (including the deepest ‘kernel’ behaviour) can be modified, dynamically, on-the-fly.”

e, na conclusão:

“VM – or interpreter – based systems are little better; whereas the compiler is often available to the user, the interpreter rigidly defines both bytecodes (or some equivalent executable representation) thus preventing semantic exploration, and primitives thereby limiting pragmatic extensions. An alternative is to create a virtual execution environment implemented entirely in (one of) the dynamic, late-bound language(s) that it implements.”

Mas, por curiosidade, por que acha isso?

[1] http://piumarta.com/software/cola/colas-whitepaper.pdf

abs

Boa parte daquilo que o Piumarta fala é sobre como construir um runtime para aquilo que estão pesquisando, basta ver quando ele fala de geração de código, e um core dinâmico. Não tem como pensar em implementar o que eles sugerem sem uma VM.

A chave é quando ele fala de um kernel auto-descritivo e meta-recursivo. (Seria essa a tradução?) Isso implica em construir o runtime com a própria linguagem alvo.

Implementações meta-recursivas são sempre muito interessantes de se estudar. Mesmo dando muitas vezes mais trabalho até conseguir fazer full bootstrap

A propósito, eu não acho que o trabalho deles envolve, particularmente, VMs.

[]’s
Thiago