Mercury-Language/mercury

来源：https://github.com/Mercury-Language/mercury

Mercury

Mercury (https://www.mercurylang.org/) 是一种逻辑/函数式编程语言，它将声明式编程的清晰性和表达力与高级静态分析和错误检测功能相结合。

更多信息可参见网站“关于”页面 (https://www.mercurylang.org/about.html)、源代码仓库中的其他 README 文件，以及文档 (https://www.mercurylang.org/documentation/documentation.html)。

用 Mercury 编写的小型示例程序可在源代码仓库的 samples 和 extras 目录中找到。

README 文件

Mercury 编译器拥有两种不同的后端 (https://www.mercurylang.org/about/backends.html)，并在多种操作系统上运行。具体信息包含在 Documentation 目录下的独立 README 文件中：

• 引导 讨论了如何安装 Mercury。

  这一点很重要，因为 Mercury 编译器本身是用 Mercury 编写的。

• C 低级后端

  该后端与 GCC 配合良好，但也支持：

  • Clang

• 高级后端目标

  • C
  • C#
  • Java

• 支持的操作系统

  • Linux (AArch64, PPC, m68k)
  • macOS
  • FreeBSD
  • OpenBSD
  • AIX
  • HP-UX
  • Solaris
  • Windows (Visual C, MSYS2, Cygwin)

• 其他平台信息

  • 交叉编译
  • Docker
  • x86

其他信息

有关最新稳定版本，请参阅当前的发行说明。新闻文件列出了所有最近的变更。Documentation 目录下文件名以 NEWS 开头的文件，可用于了解 Mercury 过去的开发情况。局限性文件列出了 Mercury 实现尚未达到其目标的一些方面。

开发者信息

如果您正在考虑为 Mercury 项目做出贡献，网站上有一些可能有帮助的文档。这些文档包括关于贡献的总体说明 (https://www.mercurylang.org/development/contributions.html) 以及关于编码风格等具体信息 (https://www.mercurylang.org/development/developer.html)。

联系方式

请参见我们的联系页面 (https://www.mercurylang.org/contact.html)。