Java? FORTH compilation is typically minimal (bit of a defining feature really), so there is no static (i.e. compile-time) type verification or much any optimi

Java? FORTH compilation is typically minimal (bit of a defining feature really), so there is no static (i.e. compile-time) type verification or much any optimization. O.t.o.h., the JVM is stack-based and has been used for a plethora of programming languages, many statically typed.