新しい ソフトウェア のために Guido Tack

アリスは、同時分布し、制約プログラミングのための豊富なサポートと拡張規格のMLに基づいて、関数型プログラミング言語です。ここで、「アリスML」のある主要な機能は次のとおりです。ยท先物：データフロー同期と怠惰と軽量同時実行ยท高次モジュール：高次ファンクタと抽象署名ยทパッケージ：動的型付けとファーストクラスのモジュールで静的な統合ยท酸洗：高次のタイプセーフ、汎用＆プラットフォームに依存しない持続性ยทコンポーネント：プラットフォーム独立性とタイプセーフなモジュールの動的ロードยท分布：タイプセーフなクロ...