Download
Ravi Programming Language is a derivative of Lua 5.3 with limited optional static typing and MIR-based JIT compiler. Ravi is a derivative/dialect of Lua with limited optional static typing and JIT/AOT compilers. The name Ravi comes from the Sanskrit word for the Sun. Lua is perfect as a small embeddable dynamic language so why a derivative? Ravi extends Lua with static typing for greater performance under JIT compilation. However, static typing is optional and therefore Lua 5.3 programs are also valid Ravi programs. There are other attempts to add static typing to Lua (e.g. Typed Lua but these efforts are mostly about adding static type checks in the language while leaving the VM unmodified. So the static typing is to aid programming in the large - the code is eventually translated to standard Lua and executed in the unmodified Lua VM.
Features
- Ravi is a dialect of Lua with limited optional static typing and features a JIT compiler powered by MIR
- Support for AOT compilation to native code
- Documentation available
- Optional static typing
- Ravi extends Lua with static typing for improved performance when JIT compilation is enabled
- There are other attempts to add static typing to Lua
- Ravi has a different goal compared to LuaJIT
- Type specific bytecodes to improve performance
- Compatibility with Lua 5.3
- Generational GC from Lua 5.4
- A new compiler framework for JIT and AOT compilation
Project Samples
