Re: Optional static types for Lua - experimental derivative Ravi

[Dibyendu Majumdar <mobile@...>]

Hi,

I have implemented a couple of array types in Ravi - these are just
specializations of the Lua table type.
The two array types as of now are:

local var : int[] = {}

declares an integer array.

local var: double[] = {}

declares a double array.

The table type has additional info to identify the specialization so
that the runtime can perform checks. This means that if an array is
passed to a normal Lua function then it looks like a table except that
there are constraints on what data it will accept / and the index
range of the array is more restrictive.

Right now there are no specialized op codes for array get/set - but I
hope to add these eventually.

Regards
Dibyendu