I agree that a good static typing system gives you a lot more (especially regarding the "correctness" of programs when the type system can be escaped), but rega

I agree that a good static typing system gives you a lot more (especially regarding the "correctness" of programs when the type system can be escaped), but regarding your second point there's this quote from the linked page: "Ravi extends Lua with static typing for greater performance under JIT compilation." This project appears to be an optionally-typed superset of Lua WITH a modified runtime to support better typed JIT compilation.