> 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