Re: Is "scripting" truly Lua's future?

["Steve Donovan" <steve.j.donovan@...>]

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.