Kailua：为Lua 5.1量身打造的实验性类型检查器和IDE

Kailua是一款专为Lua 5.1设计的实验性类型检查器和集成开发环境（IDE）。它旨在为Lua开发者提供强大且便捷的开发工具，帮助您提升代码质量和开发效率。

如何使用Kailua

Kailua可以作为Visual Studio Code的IDE插件使用。通过在快速启动（Ctrl-P）中输入ext install kailua来安装Kailua。如果您不在Windows系统上，还需要先安装独立的检查器。

当您打开包含Lua代码的文件夹时，可能会看到配置文件缺失的警告。为了进行实时检查，您需要创建一个配置文件。您可以通过手动创建.vscode/kailua.json文件，或者从命令面板（Ctrl-Shift-P）中搜索"Kailua"来编辑配置文件。

以下是.vscode/kailua.json文件的示例内容：

{
    "start_path": "<入口点的路径>",

    "preload": {
        // 这表示我们正在使用Lua 5.1及其所有内置库。
        "open": ["lua51"],
    },
}

应用配置后，您需要重新加载当前窗口（Ctrl-R或Cmd-R）。

设置好入口点后，您可以编写您的第一个Kailua代码（很简单，对吧？）：

print('Hello, world!')

尝试修改这段代码，看看Kailua能检测到哪些错误。

支持的IDE功能

• 实时语法检查（适用于所有文件）。
• 从给定起始路径开始的实时类型检查。
• 名称和字段的自动补全。
• 函数签名的帮助信息。
• 鼠标悬停时显示大多数子表达式的类型帮助。
• 跳转到本地和全局名称的定义。
• 批量重命名本地和全局名称。

通过Kailua，您可以更高效地编写和调试Lua代码，提升您的开发体验。