Ravi编程语言是Lua5.3的一个衍生，有限的可选静态类型，基于LLVM和libgccjit的JIT编译器。
Ravi的名字来自梵语的太阳。有趣的是，Lua的前身是Sol，它支持静态类型，Sol是葡萄牙语的太阳。
Ravi使用静态类型扩展Lua，以在JIT编译下获得更好的性能。但是，静态类型是可选的，因此Lua程序也是有效的Ravi程序。
目标
Lua的可选静态类型
键入特定的字节码以提高性能
与Lua5.3的兼容性
LLVM的JIT编译器
此外，还提供了一个基于libgccjit的替代JIT编译器
评论