Re: Optional static types for Lua - experimental derivative Ravi

[Richard Hundt <richardhundt@...>]

> I am experimenting with the idea of adding optional static typing to
> Lua. The project is very young (only started beginning of the year) so
> the ideas are all in flux.

Interesting project. Does it differ from the semantics of [1] as
implemented in [2]? I get that it'll be implemented in C as part of
the core, so it's obviously different in that way, but just wondering
why "the ideas are all in flux".

[1] http://www.lifl.fr/dyla14/papers/dyla14-4-typed-lua-an-optional-type-system.pdf
[2] https://github.com/andremm/typedlua