ante

保证金

Ante 是一种低级的函数式语言,用于探索安全、共享的可变性和效果。 处理器和其他有趣的功能。这里有一个快速的尝试:

foo (x: mut Bar) (y: ref a) {Clone a}: a can Fail =
    // The `Fail` effect above lets us call `fail`
    if not valid x then fail ()

    // Safe, aliasable, borrowed mutable references
    baz x x

    // Traits via implicits (no more forced newtype wrappers)
    clone y

Ante 以与 Rust 类似的所有权和借款规则为核心,但其目标是 通过鼓励可通过优化实现高级方法,使代码尽可能易读 稍后将讨论低级细节。 请参阅 网站、语言之旅 有关更多信息,请参阅 路线图。

参与贡献

编译器目前仍处于较早的阶段,因此任何贡献者都非常欢迎。请自由地对已知的问题/改进或您认为可能有用的标准库的增添做出贡献。代码库中的每个文件前都附有模块注释,解释了该文件的用途以及使用的算法。src/main.rs 是一个很好的阅读起点。请确保所有 PR 通过 examples 目录中的测试。这些测试中包含命令,由 goldentests 库用来运行 ante 编译器并检查每个文件的输出与该文件注释中包含的预期输出是否一致。请使用 cargo test --test goldentests 运行它们。

为了参与开发,最好在官方 Discord 社区中关注 ante 的开发进度: https://discord.gg/BN97fKnEH2.。此外,还有一个基本上不活跃的 subreddit /r/ante,主要用于关于语言的问题,而不是开发更新。您也可以在本仓库中提交问题或提问。

Good first issues