🌴 卡伊鲁瓦

韩语

卡伊鲁瓦 是一种用于 Lua 编程语言的实验性类型检查器和集成开发环境 (IDE)（目前仅支持 Lua 5.1）。

详细文档可在 此处 查看。

安装和使用

卡伊鲁瓦可以作为独立检查器或 IDE 插件使用。

独立检查器

要安装独立检查器，首先安装 Rust（需要 1.15 或更高版本），然后输入以下命令

cargo install -f kailua

(-f 将导致现有安装升级。）

现在您可以运行 kailua check <入口点路径>。

如果您在该目录中具有 kailua.json 或 .vscode/kailua.json，则也可以运行 kailua check <目录路径>。配置格式在后续部分中描述。

Visual Studio Code

卡伊鲁瓦可以作为 Visual Studio Code 的 IDE 支持。通过输入 ext install kailua 从快速启动（Ctrl-P）安装 Kailua。**如果您不在 Windows 上，您还应按照上述方法安装独立检查器**。

当您打开包含 Lua 代码的文件夹时，您将看到一个警告，表明缺少配置文件。您需要它来进行实时检查。

您可以通过手动创建 .vscode/kailua.json 或者在命令面板（Ctrl-Shift-P）中搜索 "Kailua" 来编辑一个。

以下内容是 .vscode/kailua.json 所需的，以防您需要手动编辑

{
    "start_path": "<path to the entry point>",

    "preload": {
        // This indicates that we are using Lua 5.1 and all built-in libraries of it.
        "open": ["lua51"],
    },
}

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

您的第一个Kailua代码

一旦设置了入口点，您就可以编写第一个Kailua代码

--# open lua51
print('Hello, world!')

如果您使用配置文件，第一个代码可以编写得更简单

print('Hello, world!')

用这段代码试一试，看看Kailua能检测到哪些错误。

许可证

Kailua可在MIT许可证和Apache许可证2.0下双许可使用，您可根据自己的选择。通过为Kailua做出贡献，您同意您的贡献将在这两个许可证下授权。

lib.rs:

该crate为Kailua提供基本环境。

• 位置类型（Unit、Pos、Span）和捆绑的位置容器（Spanned）

• 作用域标识符和位置到作用域的映射（kailua_env::scope）

• 位置的解析器（kailua_env::source）

• 从位置范围到值的任意映射（kailua_env::spanmap）