Re: Any plans regarding static typing in core Lua?

[Dirk Laurie <dirk.laurie@...>]

I got the impression that Typed Lua is a project on its own, rather
than a future direction for Lua. It has a rockspec but has not been
uploaded to a LuaRocks repository. Its main documentation is
André Murbach Maidl's PhD thesis.

There is also Ravi, which is currently being developed, with regular
progress reports in this list.

2016-03-05 19:32 GMT+02:00 Wojciech Miłkowski <wmilkowski@interia.pl>:
> 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.