You may be interested in Luau, which is the gradually-typed dialect of Lua maintained by Roblox. The game Alan Wake 2 also used it for level scripting.
The author seems to be aware as Luau is mentioned in the performance section of the documentation.
The author seems to be aware as Luau is mentioned in the performance section of the documentation.