lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]



On Sun, Jan 3, 2021 at 11:53 AM Dibyendu Majumdar <mobile@majumdar.org.uk> wrote:
Ravi (http://ravilang.org) is a dialect of Lua with a JIT backend and
limited optional static typing. I am pleased to announce that the 1.0
Beta-5 release of Ravi is now available.

The main highlights of this release are:

* Bug fixes to the Generational GC back-ported from Lua 5.4
* Support for LLVM has been removed in favour of the Lightweight MIR JIT backend
Hi Dibyendu, your work is very impressive. You might have shared this resource before, but I found a presentation about the MIR JIT (by the author): https://developers.redhat.com/blog/2020/01/20/mir-a-lightweight-jit-compiler-project/

The difference in SLOC between LLVM and MIR is hilarious: 4.13 Million LOC vs 16,000. How big is the base Ravi install?

Have you done any benchmarking between Ravi (MIR) and LuaJIT?

Is it possible to just swap in Ravi where one would use Lua or are there caveats? For instance, can I run standard lua scripts and lua rocks without static types?

I look forward to testing this soon! You could also post this message on LuaForum.com. We are getting a nice collection of Lua distributions (WinLua, RiscLua, etc) - it would be cool to add a new dialect like Ravi. Perhaps I will ask Maksumić if we can start a resource page to list all of them.

Russ

* Various updates to MIR JIT backend
* Ravi is now being tested on X86-64 and ARM64 architectures
* There is an experimental new compiler for Ravi that is available as
a preview only. More details of this new compiler can be found at:
https://github.com/dibyendumajumdar/ravi-compiler.


For general information regarding Ravi please visit:
* https://github.com/dibyendumajumdar/ravi

A distribution of Ravi with a small set of libraries is available at:

https://github.com/dibyendumajumdar/Suravi

All feedback welcome!

Thanks and Regards
Dibyendu