I'd also add to this that PureScript[1] is soon to have a Lua backend[2]. PureScript is a statically typed language with row polymorphic types, algebraic effects and type inference.

[1]: http://purescript.org [2]: https://github.com/osa1/psc-lua