ravi

ravi copied to clipboard

Instructions to build ravi under alpine

10

Could you provide build instructions for alpine? Trying to build ravi under docker here.

italomaia

A tool to remove type annotations

3

Hello, I wonder if Ravi provides a way to generate an annotation-free source from an Ravi annotated source file. The idea is to keep code compatible with existing Lua platforms...

ghost

Lua does some conversions which are expensive. Recently Lua 5.4 has reduced this by moving string based arithmetic to string metamethods. But there are still some conversions in for num...

dibyendumajumdar

http://lua-users.org/lists/lua-l/2016-11/msg00301.html http://lua-users.org/lists/lua-l/2006-09/msg01011.html This would improve performance for most math function calls. The approach we take here is to extend the Lua typecodes. We add a new subtype LUA_TFCF of LUA_TFUNCTION....

dibyendumajumdar

Note: this is experimental Add userdata type assertions. For instance: function x(a: MyType) end Should cause an assertion that a is userdata type of MyType function x(a) local t =...

dibyendumajumdar

Ravi (and Lua) have a number of build options that control what is built. However a client linking to the library does not necessarily know what options were used, therefore...

dibyendumajumdar

Because of the way the Lua VM works, it is difficult to understand the performance characteristics of individual bytecodes. It will be useful to have a feature that measures the...

dibyendumajumdar

Would be nice! Similar projects exist for terra and moonscript that didn't require a huge amount of code. like 100 lines for each. e.g. https://github.com/StanfordLegion/terra-mode and https://www.github.com/leafo/moonscript

ghost

Add support for byte arrays

2

Ravi has integer arrays and number arrays. In practice integer arrays are almost never needed. However if we had a byte array concept then that could be used to manipulate...

dibyendumajumdar

Performance tuning of tables

1

There are a few things we can try to improve the interpreter/JIT performance. One of them is to try to inline some table lookups where keys are known to be...

dibyendumajumdar