voile-rs

Voile是一种具有非依赖类型行多态、元变量解析和隐式参数语法的依赖类型编程语言。有关语言描述，请参阅docs.rs页面。

Voile是minitt之后的语言，Voile之后的语言是Narc。

资源

• Docs.rs文档，包括KaTeX渲染的类型规则
• 变更日志，跟踪语言进化的有用资源
• IntelliJ插件，可以将您的代码导出为可点击的HTML
• 代码示例，也充当集成测试套件
• 实用库，从Voile实现中提取的rust crate，包含一些实用代码
• 二进制下载位于GitHub Actions页面，适用于Windows、Ubuntu和macOS

最好的示例是这个。

安装

最推荐的安装方法是下载GitHub Actions页面上的预构建二进制文件。以下是如何找到它们的说明。

您可以使用以下命令安装voile类型检查器（假设已安装cargo和rust稳定工具链）

cargo install voile --bin voilec

安装后，您可以通过以下方式对voile文件进行类型检查

voilec [filename]

您还可以启动REPL

voilec -i

进度

• 基本依赖类型（minitt-rs事物）
• 宇宙级支持
• 行类型和类型
• 记录构造函数
• 记录投影
• 变体构造函数
• 变体消除器（案例分割）
• 隐式参数