Re: Any plans regarding static typing in core Lua?

[Mateusz Czaplinski <czapkofan@...>]

Those being external unofficial tools/projects has a whole lot of
disadvantages vs. if it was an official part of the language. That's
why I'm interested in them being part of the core, and that's
specifically what I'm asking about. And also the existence of those
projects (esp. Typed Lua, given its PUC roots) is why I'm even having
any hopes for that and dare ask at all.

Also, as to the "non-goal" support voices: I explicitly mentioned an
*optional* type system, which I'd imagine could hopefully be made
perfectly backwards-compatible with the current approach? (as seems to
be the case with e.g. the Typed Lua project, no?) So I genuinely don't
really understand what's a problem here one would feel a need to "hope
against"?

On Sat, Mar 5, 2016 at 8:25 PM, Dirk Laurie <dirk.laurie@gmail.com> wrote:
> 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.
>