I like an elegant VM, but the ones I find the most interesting are the ones you can actually employ as a compilation target. For example, there's a C-like lang

I like an elegant VM, but the ones I find the most interesting are the ones you can actually employ as a compilation target. For example, there's a C-like language for SUBLEQ machines: http://mazonka.com/subleq/hsq.html http://mazonka.com/subleq/hsq.html