Re: Lua for large apps (was: Lua for GUI toolkit wrapping?)

[Norman Ramsey <nr@...>]

 > Static typing and compile-time checks (including warnings to the max) are
 > indispensable. The alternative for dynamically typed languages are
 > tests. 

Actually another quite respectable alternative is program analysis.
I ran into Kostis Sagonas at the airport and it seems he has had some
very good results using something he calls 'success types' for Erlang
programs.  I would love to see similar technology applied to Lua.

A paper is at

   http://user.it.uu.se/~kostis/Papers/contracts.pdf


Norman