Question

为什么出现了很多的强类型JavaScript语言, 而Lua没有?

Answer 1

有没有投入可观、维护良好、文档齐全的，我不知道。不过你在 GitHub 上搜 Lisp2Lua 什么的就有一大把。不过我觉得提问者大可不必说得要救 Lua 于水火一般。

静态检查的 Lua 扩展也有。搜 TypedLua 就是。2014 Lua 大会还有作者的 presentation。

Lua 成功之处就在于 expressiveness。语法啰嗦只是在 keyword 这个级别。没有静态类型检查是 rapid protoype 和 long-term maintainability 一直在权衡的问题。这个方面没有 ideal solution。To-Lua compiler 玩玩也未尝不可。但是当成 Lua 社区迫切的任务那就是买椟还珠了。