4个稳定版本

使用旧的Rust 2015

1.1.0 2017年7月18日
1.0.7 2017年6月2日
1.0.5 2017年6月1日
1.0.4 2017年4月25日

#13 in #type-checker

MIT/Apache

185KB
533

🌴 Kailua (crates.io)

韩语

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

详细的文档可以在这里找到。

安装和用法

卡伊卢可以用作独立的检查器或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支持。从快速启动(Ctrl-P)输入 ext install 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-RCmd-R)以应用配置。

你的第一个卡伊卢代码

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

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

如果您正在使用配置文件,第一个代码可以简化很多。

print('Hello, world!')

玩一下这个代码,看看Kailua可以检测到哪些错误。

许可证

Kailua采用双许可证模式,您可以选择以下任一许可证:[MIT许可证]和[Apache许可证2.0]。通过为Kailua做出贡献,您同意您的贡献将在这两个许可证下进行授权。

依赖关系

~4.5MB
~83K SLoC