使用汞，这是在澳大利亚墨尔本大学开发的函数式编程语言编写的源代码文件;使用纯文本格式，并使用语法类似于Prolog.More InformationMercury写，以提供大型现实世界的应用提供了强大的语言保存。它包括不被其他逻辑编程语言提供了一些错误检查功能。例如，语言包含静态分析，可以在运行之前赶上类型检查错误。这样能够取得更大的保证了程序的正确性，也允许编译器生成更高效的代码。然而，显影剂必须指定每个“类型”，“模式”和“编程时决定”构建体，其不必由OT所需的她languages.NOTE：水星编译器的发育版本目前分布在源代码格式，但不包括编译的二进制文件。然而，水星，叫winmercury，一个Windows端口包括二进制文件。它还包括Vim的语法源代码编辑高亮显示的文件。
水星是写在以提供大量真实世界的应用提供了强大的语言。它包括不被其他逻辑编程语言提供了一些错误检查功能。例如，语言包含静态分析，可以在运行之前赶上类型检查错误。这样能够取得更大的保证了程序的正确性，也允许编译器生成更高效的代码。然而，显影剂必须指定每个“类型”，“模式”和“编程时决定”构建体，其不必由其他languages.NOTE所需的：汞编译器的发育版目前分布在源代码格式，并且不包括编译的二进制文件。然而，水星的一个Windows端口，称为winmercury，includ上课的二进制文件。它还包括Vim的语法源代码编辑高亮显示的文件。
