ダウンロードリスト

プロジェクト概要

水銀は、新しいロジック/機能プログラミング言語、明快さと高度な静的解析とエラー検出機能で宣言型プログラミングの表現力を兼ね備えています。その高度に最適化された実行アルゴリズム プログラミング システム、既存のロジックをはるかに超えると従来のプログラミング システムに近い効率を提供します。水銀は、モジュール性、独立したコンパイルおよび多数最適化/時間のトレードオフが可能大規模なプログラムの開発、問題に対処します。

システム要件

システム要件が設定されていません
プロジェクトのリリース情報やプロジェクトリソースの情報です。
注: プロジェクトリソースの情報は Freecode.com ページからの引用です。ダウンロードそのものは、OSDNにホスティングされているものではありません。

2012-03-02 10:24
11.07.1

このバグ修正リリース ライブラリを c# グレードの Cygwin の構築と C99 (GNU99) のモードで GCC を使用して問題を修正します。また、標準ライブラリにいくつかのマイナーな追加です。
タグ: stable minor
This bugfix release fixes problems with building the library in the C# grade on Cygwin and with using GCC in C99 (or GNU99) mode. There are also some minor additions to the standard library.

2011-12-22 20:29
11.07

このリリースの新機能には、Unicode サポート、メモリ プロファイリング、新しいフォーム semipure または濁った関数呼び出しを使用して mutables を初期化する機能などがあります。C コンパイラが改善されて、MSVC をサポートし、C コンパイラが追加されて、clang をサポートします。Java バックエンドが Java 1.7 と互換性のあるようになりました。さらに、数多くのパフォーマンスの向上とバグ修正されました。
タグ: Major
New features in this release include Unicode support,
a new form of memory profiling, and the ability to initialize mutables using semipure or impure function calls. Support for using MSVC as the C compiler has been improved and support for using clang as the C compiler has been added. The Java backend is now compatible with Java 1.7. In addition, numerous performance improvements and bugfixes have been made.

2011-04-27 21:07
11.01

新しい言語機能には、スコープの目標を必要とする範囲は、特定の決定とスイッチが完了する必要がスコープを持って含まれています。 C#は追加されて生成する新しいバックエンド。 Mac OS X上でのフレームワークを使用するためのサポートが改善されています。 Cairo二次元グラフィックライブラリへのバインディングは、エキストラの配布に追加されました。遅延評価を提供するモジュールは、標準ライブラリに追加されました。文字列のスイッチはLLDSバックエンドに改善されています。
タグ: Major
New language features include scopes that require a scoped goal to have a particular determinism and a scope that requires a switch to be complete. A new backend that generates C# has been added. Support for using frameworks on Mac OS X has been improved. A binding to the Cairo 2D graphics library has been added to the extras distribution. A module that provides lazy evaluation has been added to the standard library. String switches have been improved for the LLDS backend.

2010-10-05 16:14
10.04.2

中止すると、コンパイラは、Javaの等級にいくつか壊れているのRTTI操作が修正されている修正されて発生する問題の数、および回避策は、GCCのバージョン4.4の問題のため含まれています。
タグ: Minor
A number of problems that caused the compiler to abort have been fixed, some broken RTTI operations in the Java grade have been fixed, and a workaround was included for a problem with GCC version 4.4.

2010-08-30 19:11
10.04.1

これは、バグ修正リリースです。
タグ: Minor
This is a bugfix release.

プロジェクトリソース