[4984]

Author here, Tail calls can be implemented in MiniVM bytecode. There was once an instruction that performed a tail call, It bit-rotted due to not being used.

MiniVM is moving very quickly currently. A lot still needs to be done, like JIT and optimizers.

Eventually a formal specification of MiniVM should happen, just not yet as things are changing too fast.

[user-the-name]

Speaking of wasm, any idea how feasible it would be to convert wasm to minivm bytecode and use it as a wasm runner?