Hacker News Reader

* Typed Lua: https://github.com/andremm/typedlua (not actively maintained)

* tl: https://github.com/teal-language/tl a compiler for Teal a typed dialect of lua. (actively maintained)

Indeed, Teal looks like it has the right brains behind it (author was involved with several earlier attempts at typed Lua) and is actively maintained. I'm personally watching it for future game development usage.

There is also Luau and Ravi but I don't think any of them is official which was the original question

Reply on news.ycombinator.com