Teal——Lua的静态类型方言

Teal是一门为Lua编程语言设计的静态类型方言 1。通过名为tl的编译器，Teal将.tl源代码编译为.lua文件 1，为Lua这一动态类型语言补充了类型系统的功能。该项目由Hisham Muhammad创立，采用MIT许可证发布 1。

Teal提供了类型注解、数组、映射、记录、接口、联合类型和泛型等类型特性 1。这样的设计思路与TypeScript对JavaScript的补充角色相似 1。开发者可以通过Luarocks包管理器安装Teal，命令为"luarocks install tl" 1。该项目还提供了Visual Studio Code集成插件（vscode-teal）和NeoVim语言服务器支持 1。

Teal is a statically-typed dialect designed for the Lua programming language, created by Hisham Muhammad.1 The language uses a compiler called tl to transform .tl source files into .lua code.1 By introducing static type annotations to Lua's dynamic typing system, Teal fills a significant gap in the language, functioning similarly to how TypeScript extends JavaScript.1

The language supports a comprehensive set of type features including arrays, maps, records, interfaces, union types, and generics.1 Teal is distributed under the MIT license as free and open-source software.1 Users can install the compiler via Lua Rocks using the command luarocks install tl.1 The project is hosted on GitHub and provides development tool integrations, including support for Visual Studio Code through the vscode-teal extension and a language server for NeoVim.1