Ante

---

Ante是一种低级函数式语言，用于探索细化类型、生命周期推断和其他有趣的特性。以下是一个简单示例：

// 无生命周期变量
foo (x: &shared mut Bar) (y: &a) : a can Fail given Clone a =
    // 代数效应
    if not valid x then fail ()

    // 安全、可别名的可变引用
    baz x x

    // 特征
    clone y

总的来说，Ante是一种低级语言（无GC，默认情况下值不会被装箱），同时也试图尽可能地保持可读性，鼓励使用高级方法，之后可以通过低级细节进行优化。

更多信息请参阅网站、语言教程和路线图。

---

贡献

编译器仍处于早期阶段，非常欢迎任何贡献者。欢迎为已知问题/改进或任何你认为可能有用的标准库添加做出贡献。

代码库中的每个文件都以模块注释为前缀，解释文件的用途和使用的算法。src/main.rs是开始阅读的好地方。

确保任何PR都能通过examples目录中的测试。这些测试文件中包含了命令，goldentests库使用这些命令运行Ante编译器，并将每个文件的输出与该文件注释中包含的预期输出进行比较。

适合新手的问题可以贡献

---

社区

关注Ante开发的最佳场所是官方Discord：https://discord.gg/BN97fKnEH2。 还有一个不太活跃的subreddit /r/ante，主要用于提问关于语言的问题，而不是开发更新。你也可以随时在这个仓库中提出问题或询问。

---

构建

Ante目前在构建时可选择性地需要llvm 17.0。如果你已经安装了带源码的llvm，你可能只需要使用cargo install --path .就可以构建。如果cargo提示找不到合适的llvm版本，你可以选择不使用llvm后端来构建Ante，使用命令cargo install --path . --no-default-features，或者你可以通过CMake从源码构建llvm，这在下一节中有介绍。

Linux和Mac

安装llvm 17.0最简单的方法是通过包管理器，确保安装任何适用于你的发行版的-dev包。安装完成后，如果cargo b仍然找不到正确版本的llvm，你可能需要确保将LLVM_SYS_170_PREFIX设置为llvm的安装路径：

$ LLVM_SYS_170_PREFIX=$(llvm-config --obj-root)

如果你的发行版提供的llvm版本不是17.0，你可以尝试修改Ante的Cargo.toml中的inkwell依赖。这个依赖控制了预期的llvm版本，默认是：

inkwell = { git = "https://github.com/TheDan64/inkwell", branch = "master", features = ["llvm17-0"], optional = true }

将引号中的llvm部分改为"llvm-16-0"，例如，以使用llvm 16.0构建。同时别忘了，更改版本后环境变量的名称也会不同，例如使用llvm 16.0时，它将是LLVM_SYS_160_PREFIX。较旧的版本可能无法工作，因为LLVM本身和inkwell都有API变更。15.0版本也未经验证。

如果这种方法不起作用，你将不得不尝试通过cmake从源码构建llvm。请参阅下面的CMake部分。 或者，你可以只使用cranelift作为后端来构建，使用命令cargo install --path . --no-default-features。

Nix

Ante在nixpkgs仓库的不稳定分支中可用。

项目本身为Nix包管理器提供了构建说明。 这些可用于编译器的最新版本，或用于开发。

要进入开发环境，请运行nix-shell或nix develop，具体取决于你是否使用启用了flakes和nix command的nix。 然后你可以按照本节顶部描述的方式使用cargo构建和运行项目。

此外，项目也可以通过nix-build / nix build构建，这意味着你可以使用提供的overlay在系统上安装它，或通过nix shell github:jfecher/ante尝试编译器。

Windows

注意：在Windows上构建LLVM出了名的困难。如果你是Windows用户，尝试了以下步骤后仍无法构建llvm，我强烈建议你尝试不使用llvm后端的Ante，使用命令cargo install --path . --no-default-features。由于llvm二进制文件在Windows上不附带适当的库文件，你将不得不通过CMake从源码构建。

CMake

如果上述步骤对你不起作用，你可以尝试使用cmake从源码构建llvm。如果你使用Windows，这需要你已经安装了Visual Studio 2017或更高版本。

$ git clone https://github.com/llvm/llvm-project --branch=release/16.x
$ mkdir llvm-build
$ cd llvm-build
$ cmake ../llvm-project/llvm

此时，cmake可能会显示错误，表示找不到z3或Windows SDK，在这种情况下，你可能需要安装它们。对于Windows SDK，你可以通过Visual Studio安装程序安装（在修改 -> 单个组件下）。我使用的是版本10.0.17763.0，不过更新的版本可能也可以工作。重新运行最后一个cmake命令以测试是否一切安装正确。完成后，继续编译llvm和ante：

$ cmake --build .
$ cmake --build . --target install
$ cd ..
$ set LLVM_SYS_160_PREFIX=/absolute/path/to/llvm-build
$ cargo build