lua-users home
lua-l archive

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

 > 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