Alice ML

アリスは、同時分布し、制約プログラミングのための豊富なサポートと拡張規格のMLに基づいて、関数型プログラミング言語です。
ここで、「アリスML」のある主要な機能は次のとおりです。
ยท先物：データフロー同期と怠惰と軽量同時実行
ยท高次モジュール：高次ファンクタと抽象署名
ยทパッケージ：動的型付けとファーストクラスのモジュールで静的な統合
ยท酸洗：高次のタイプセーフ、汎用＆プラットフォームに依存しない持続性
ยทコンポーネント：プラットフォーム独立性とタイプセーフなモジュールの動的ロード
ยท分布：タイプセーフなクロスプラットフォームのリモート機能やネットワークモビリティ
ยท制約：制約伝播とプログラマブル検索を使用しcombinatorical問題を解決します
アリス·システムは、以下のツールを搭載した豊富なオープンソースのプログラミングシステムです。
 
ยท仮想マシン：実行時コンパイラをサポートするポータブルVM
ยทインタラクティブシステム：インタプリタのようなインタラクティブなトップレベル
ยทバッチコンパイラ：分割コンパイル
ยท静的リンカ：コンポーネントのタイプセーフなバンドリング
ยทインスペクタ：対話的なデータ構造を検査するためのツール
ยทエクスプローラ：対話的に検索問題を調査するためのツール
ยทのGtk +：GnomeのツールキットのGUIライブラリのバインディング
ยทSQL：SQLデータベースにアクセスするためのライブラリ
ยทXML：XML文書を解析するためのシンプルなライブラリ
このリリースの新機能：
ยทアリスは今後継MLのための提案された拡張機能の一部が組み込まれています。
ยทバイトコード·ジッタは、デフォルトの実行単位です。
ยทマニュアルでは、制約プログラミングのチュートリアルが含まれており、制約ライブラリは現在Gecodeの現在の安定したバージョンを使用します。