lua-users home
lua-l archive

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


Considering this paper: http://www.lifl.fr/dyla14/papers/dyla14-4-typed-lua-an-optional-type-system.pdf and this presentation from Lua Workshop two years ago: http://www.lua.org/wshop14/Murbach.pdf Typed Lua is long term goal, but I'm not aware about any progress in this area.

Regards,
W.