* 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
I believe he was talking about Pallene, which is being currently developed in LabLua
Paper: http://www.inf.puc-rio.br/~roberto/docs/pallene-sblp.pdf
Git Repo: https://github.com/pallene-lang/pallene
Re:Lua in the Kernel?
by Benjamin_Dobell on Friday September 18, 2020 @05:37AM
(#24514765)
Shameless self promotion:
https://github.com/Benjamin-Dobell/IntelliJ-Luanalysis
I haven't heard anything about an official "typed Lua". Is there information about it somewhere?