型理論に基づいた安全性、柔軟で強力な型システム、モジュールシステムをベースとしたオブジェクト指向機能など強力な表現を可能とする、新しいタイプのプログラミング言語 ...