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
185KB
533 行
🌴 Kailua
卡伊卢是一个用于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-R
或 Cmd-R
)以应用配置。
你的第一个卡伊卢代码
一旦设置了入口点,您就可以编写您的第一个Kailua代码。
--# open lua51
print('Hello, world!')
如果您正在使用配置文件,第一个代码可以简化很多。
print('Hello, world!')
玩一下这个代码,看看Kailua可以检测到哪些错误。
许可证
Kailua采用双许可证模式,您可以选择以下任一许可证:[MIT许可证]和[Apache许可证2.0]。通过为Kailua做出贡献,您同意您的贡献将在这两个许可证下进行授权。
依赖关系
~4.5MB
~83K SLoC