Alice MLの紹介

この投稿はマイナー言語Advent Calendar 2014 21日目の記事です。

Aliceとは

Aliceはドイツのザールラント大学のProgramming Systems Lab でデザインされたStandard MLの方言で、
遅延評価、並列処理、制約プログラミングをサポートしています。

プログラミング言語Aliceの特徴

• Future（並列プログラミングのデザインパターン)
• 高階モジュール
• パッケージ
• Pickling
• コンポーネント
• 分散プログラミング
• 制約プログラミング

Alice Programming Systemの特徴

Aliceプログラミングシステムの特徴として以下のものがあります。

• JITをサポートしたポータブルな仮想マシン
• 対話システム
• バッチコンパイラ
• 静的リンカ
• インスペクタ
• エクスプローラ
• Gtk+
• SQL
• XML

他にもAliceLexやAliceParserなどのライブラリがあります。
詳しくは、Alice MLの公式ページをご覧ください。