lua-users home
lua-l archive

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



> On Mar 5, 2016, at 3:59 AM, Dirk Laurie <dirk.laurie@gmail.com> wrote:
> 
> 2016-03-04 18:48 GMT+02:00 Mateusz Czaplinski <czapkofan@gmail.com>:
> 
>> Or, is it maybe opposite, e.g. this is an explicit non-goal for the team?
> 
> I strongly suspect (and hope and trust) that typed names
> is a non-goal
> 
I find it extremely surprising that there is no official text regarding typed names. It was always my impression that this is an explicit non-goal for Lua.