Alice ML

ソフトウェアのスクリーンショット:
Alice ML
ソフトウェアの詳細:
バージョン: 1.3
日付のアップロード: 2 Jun 15
開発者: Guido Tack
ライセンス: 無料
人気: 83

Rating: 5.0/5 (Total Votes: 1)

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

同じようなソフトウェア

Bocfel
Bocfel

17 Feb 15

Qg
Qg

11 May 15

J
J

20 Feb 15

へのコメント Alice ML

コメントが見つかりません
コメントを追加
画像をオンにする!