lua的工程化强化

github地址在下边

teal-language/tl: The compiler for Teal, a typed dialect of Lua (github.com)

叫青语言，青出于蓝而胜于蓝？老外懂这个？

安装颇费了一番功夫,主要是我对环境不熟悉

需要luarocks，

需要mingw（安装gcc），注意是mingw不是mingw-w64,这tm是完全不同的两个项目

然后有什么用呢

来看一段正常的lua代码

//正常lua代码

local function add(a, b)
    return a + b
end

local s = add(1, 2)
print(s)

这代码执行肯定返回3

//bug lua代码

local function add(a, b)
    return a + b
end

local s = add("ni", 2)
print(s)

然后来一段bug代码，这个bug代码 你用luac 肯定是没问题，等到执行期才会出问题，因为lua设计为一门动态语言，而且这从vm层次就决定了，这个情况有点像js，因为动态化，错误检查时机被拖到了运行时，不运行，无法发现问题（人眼除外）

软件工程的实践中，代码静态检查能发现太多的问题（静态类型编程语言），js因为微软的typescript得到了极大的工程化加强。

青语言就是对lua的类型化加强，和ts之于js是一样的概念。

//青语言bug代码

local function add(a: number, b: number): number
    return a + b
end

local s = add("a1",2)
print(s)

然后使用青语言，加上类型标注，标注的形式也像极了typescript

然后就可以 tl check 来检查这个青语言代码的问题了

不用执行就可以提前知道第五行有个bug，这就是静态类型的功能所在。

通过tl gen 指令 可以将青语言代码编译为lua，这个思路也是和ts=>js一致的。

他的工程化优势参考ts带来的js革命性生态进化就可以想象一二。

抛砖引玉，详情容后再补