[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: Re: Any plans regarding static typing in core Lua?
- From: Dirk Laurie <dirk.laurie@...>
- Date: Sat, 5 Mar 2016 21:25:04 +0200
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.