lua-users home
lua-l archive

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

On Thu, Feb 27, 2014 at 4:04 PM, Javier Guerra Giraldez
<> wrote:
> type inference: (this is somewhat new) some expressions or arguments
> can declare type, and the compiler propagates that information.
> mostly used with static types, helps making code less verbose, and can
> be easier to refactor.

It is indeed the new hotness (Go, Scala, C#, C++11, et al).  There is
less to type (literally) and so less to get in the way of reading
what's actually going on - underneath it's all static.  Tools have to
work a lot harder, so arguably it makes automated refactoring harder -
Java is so damn explicit that the IDEs can really do marvelous things.

Another trend, which is relevant to Lua, are dynamic languages with
optional _type assertions_, like TypeScript or Dart.  The push here is
to improve tooling so that even more massive piles of JavaScript can
be safely manipulated without triggering meltdown.  There is a Metalua
extension for doing this in Lua.