アリスは、同時分布し、制約プログラミングのための豊富なサポートと拡張規格のMLに基づいて、関数型プログラミング言語です。
ここで、「アリスML」のある主要な機能は次のとおりです。
ยท先物:データフロー同期と怠惰と軽量同時実行
ยท高次モジュール:高次ファンクタと抽象署名
ยทパッケージ:動的型付けとファーストクラスのモジュールで静的な統合
ยท酸洗:高次のタイプセーフ、汎用&プラットフォームに依存しない持続性
ยทコンポーネント:プラットフォーム独立性とタイプセーフなモジュールの動的ロード
ยท分布:タイプセーフなクロスプラットフォームのリモート機能やネットワークモビリティ
ยท制約:制約伝播とプログラマブル検索を使用しcombinatorical問題を解決します
アリス·システムは、以下のツールを搭載した豊富なオープンソースのプログラミングシステムです。
ยท仮想マシン:実行時コンパイラをサポートするポータブルVM
ยทインタラクティブシステム:インタプリタのようなインタラクティブなトップレベル
ยทバッチコンパイラ:分割コンパイル
ยท静的リンカ:コンポーネントのタイプセーフなバンドリング
ยทインスペクタ:対話的なデータ構造を検査するためのツール
ยทエクスプローラ:対話的に検索問題を調査するためのツール
ยทのGtk +:GnomeのツールキットのGUIライブラリのバインディング
ยทSQL:SQLデータベースにアクセスするためのライブラリ
ยทXML:XML文書を解析するためのシンプルなライブラリ
このリリースの新機能:
ยทアリスは今後継MLのための提案された拡張機能の一部が組み込まれています。
ยทバイトコード·ジッタは、デフォルトの実行単位です。
ยทマニュアルでは、制約プログラミングのチュートリアルが含まれており、制約ライブラリは現在Gecodeの現在の安定したバージョンを使用します。
カテゴリから探す
- インターネット·ソフトウェア
- ウェブ開発ソフトウェア
- オーディオソフトウェア
- グラフィックデザインソフトウェア
- ゲーム
- システムユーティリティ
- スクリーンセーバー
- セキュリティーソフトウェア
- ディスク&ファイルのソフトウェア
- デジタル写真ソフトウェア
- デスクトップの機能拡張
- ドライバ
- ネットワークソフトウェア
- ビジネス&オフィスソフトウェア
- ブラウザ
- ホーム&ファミリーソフトウェア
- 教育&科学ソフトウェア
- 映像ソフト
- 生産性ソフトウェア
- 通信ソフトウェア
- 開発者用ツール
- IDEソフトウェア&SDK
- Vimのプラグイン
- アセンブラ&六角エディタ
- インストーラ
- コンポーネント&ライブラリ
- コードエディタ
- デバッグ用ソフトウェア
- データベースソフト
- データベース管理ソフトウェア
- バグ追跡ソフトウェア
- バージョン管理システム
- ユーザ·インタフェース·ソフトウェア
- ローカライゼーションと国際化ソフトウェア
- 品質保証とテストソフトウェア
- 通訳&コンパイラ
人気のソフトウェア
-
PL/1 for GCC 2 Jun 15
-
PyInstaller 18 Feb 15
-
GNU Binutils 17 Aug 18
-
Open Virtual Machine Language 20 Feb 15
-
Ctalk 20 Feb 15
-
Frost 3 Jun 15
-
bf 2 Jun 15
Alice ML
同じようなソフトウェア
The Squirrel programming language
20 Feb 15
Genshi Compiler
11 May 15
JRuby
17 Feb 15
Project Fortress
2 Jun 15
へのコメント Alice ML
カテゴリから探す
- インターネット·ソフトウェア
- ウェブ開発ソフトウェア
- オーディオソフトウェア
- グラフィックデザインソフトウェア
- ゲーム
- システムユーティリティ
- スクリーンセーバー
- セキュリティーソフトウェア
- ディスク&ファイルのソフトウェア
- デジタル写真ソフトウェア
- デスクトップの機能拡張
- ドライバ
- ネットワークソフトウェア
- ビジネス&オフィスソフトウェア
- ブラウザ
- ホーム&ファミリーソフトウェア
- 教育&科学ソフトウェア
- 映像ソフト
- 生産性ソフトウェア
- 通信ソフトウェア
- 開発者用ツール
- IDEソフトウェア&SDK
- Vimのプラグイン
- アセンブラ&六角エディタ
- インストーラ
- コンポーネント&ライブラリ
- コードエディタ
- デバッグ用ソフトウェア
- データベースソフト
- データベース管理ソフトウェア
- バグ追跡ソフトウェア
- バージョン管理システム
- ユーザ·インタフェース·ソフトウェア
- ローカライゼーションと国際化ソフトウェア
- 品質保証とテストソフトウェア
- 通訳&コンパイラ
人気のソフトウェア
-
Python 22 Jun 18
-
Android SDK 22 Jun 18
-
Pre Make Kit 3 Jun 15
-
C 3 Jun 15
-
ooc 3 Jun 15
-
CodeViz 3 Jun 15
-
GNU Octave 22 Jun 18
コメントが見つかりません