[gvepnffp] Redoing the JVM

Ideal features of a virtual machine:
1. Targetable from multiple programming languages, including functional programming languages
2. Optimizable (e.g., JIT) for various architectures (x86, ARM, 32bit, 64bit, ...)
3. Person running a program can do static and dynamic checking, i.e., security.

Not sure if this is possible.  Or maybe Java Virtual Machine already satisfies these.