Re: Extending Lua for multiple light userdata types

[steve donovan <steve.j.donovan@...>]

On Thu, Nov 15, 2012 at 9:13 PM, Dirk Laurie <dirk.laurie@gmail.com> wrote:
> If you mean lexical typing. i.e. associating a name permanently
> with a certain type, you get an interesting language:

Yep, but it isn't Lua, as you say.

The 'minimal intervention' needed is consistently type-annotating the
public API, and then you can get the big wins of using an IDE, good
navigation and code completion.   It will also fill in enough semantic
clues so that static analysis becomes more useful.

steve d.