lua-users home
lua-l archive

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


From: <askok@dnainternet.net>
- start using type descriptions as an addon to "typeless" Lua. LuaSub and MetaLua already provide this.

- invent a "lua-lint" tool, which would use the same type descriptions to check as much of validity of the code, statically, as possible.


Simplest method, use something like LuaDoc but have solid conventions for type names following the parameter names. This does require some discipline, as well as a sensible notation for Lua types; could be verbose, like 'list of string', 'map from string to number', etc.

The interesting problem for type theory freaks is that many Lua types are 'anonymous', e.g. there is no cookie cutter description that helps in declaring a parameter as 'a table containing fields x and y which are numbers, and an optional field checked'. Flexibility bites us there!

steve d.