アリスは、同時分布し、制約プログラミングのための豊富なサポートと拡張規格のMLに基づいて、関数型プログラミング言語です。
ここで、「アリスML」のある主要な機能は次のとおりです。
ยท先物:データフロー同期と怠惰と軽量同時実行
ยท高次モジュール:高次ファンクタと抽象署名
ยทパッケージ:動的型付けとファーストクラスのモジュールで静的な統合
ยท酸洗:高次のタイプセーフ、汎用&プラットフォームに依存しない持続性
ยทコンポーネント:プラットフォーム独立性とタイプセーフなモジュールの動的ロード
ยท分布:タイプセーフなクロスプラットフォームのリモート機能やネットワークモビリティ
ยท制約:制約伝播とプログラマブル検索を使用しcombinatorical問題を解決します
アリス·システムは、以下のツールを搭載した豊富なオープンソースのプログラミングシステムです。
ยท仮想マシン:実行時コンパイラをサポートするポータブルVM
ยทインタラクティブシステム:インタプリタのようなインタラクティブなトップレベル
ยทバッチコンパイラ:分割コンパイル
ยท静的リンカ:コンポーネントのタイプセーフなバンドリング
ยทインスペクタ:対話的なデータ構造を検査するためのツール
ยทエクスプローラ:対話的に検索問題を調査するためのツール
ยทのGtk +:GnomeのツールキットのGUIライブラリのバインディング
ยทSQL:SQLデータベースにアクセスするためのライブラリ
ยทXML:XML文書を解析するためのシンプルなライブラリ
このリリースの新機能:
ยทアリスは今後継MLのための提案された拡張機能の一部が組み込まれています。
ยทバイトコード·ジッタは、デフォルトの実行単位です。
ยทマニュアルでは、制約プログラミングのチュートリアルが含まれており、制約ライブラリは現在Gecodeの現在の安定したバージョンを使用します。
カテゴリから探す
人気のソフトウェア
-
Redis 28 Sep 15
-
Xplore 3 Jun 15
-
GChemPaint 2 Jun 15
-
Cactus McCoy 2 20 Feb 15
-
AirSnort 3 Jun 15
-
GTK VNC Viewer 2 Jun 15
-
Java-Chess 3 Jun 15
Alice ML
同じようなソフトウェア
へのコメント Alice ML
カテゴリから探す
人気のソフトウェア
-
Tiny Core Linux 2 Sep 17
-
Wifislax 9 Aug 16
-
Unity Linux 15 Apr 15
-
Q4OS 2 Oct 17
-
Super Grub2 Disk 20 Jan 18
-
Return To Castle Wolfenstein Coop 20 Feb 15
-
Kconfigure 3 Jun 15
コメントが見つかりません