أليس هو لغة برمجة وظيفية على أساس معيار ML، مدد بدعم غني عن البرمجة المتزامنة، وزعت، والقيد.
وهنا بعض الملامح الرئيسية "أليس ML":
ย ท المستقبل: الكسل وخفيفة الوزن التزامن مع مزامنة البيانات التدفق
ย ท العليا وحدات: المنفذون العليا والتوقيعات مجردة
ย ท الحزم: دمج ساكنة مع الطباعة ودينامية وحدات من الدرجة الأولى
ย ท التخليل: العليا من نوع آمنة، والمثابرة عام ومنصة مستقلة
ย ท المكونات: منصة للاستقلال وتحميل الديناميكي نوع آمن من وحدات
ย ท التوزيع: نوع آمن عبر منصة وظائف عن بعد وشبكة التنقل
ย ท المعوقات: حل مشاكل combinatorical باستخدام نشر القيد والبحث للبرمجة
نظام أليس هو نظام البرمجة مفتوحة المصدر الغنية يضم الأدوات التالية:
ย ท آلة افتراضية: وVM المحمولة مع دعم لتجميع فقط في الوقت المناسب
ย ท النظام التفاعلي: لtoplevel التفاعلية الشبيهة مترجم
ย ท دفعة مترجم: تجميع منفصل
ย ท رابط ثابت: تجميع نوع آمن من مكونات
ย ท المفتش: أداة لهياكل البيانات يتفقد تفاعلي
ย ท إكسبلورر: أداة لتحقيق تفاعلي مشاكل البحث
ย ท جتك +: ملزم للأدوات مكتبة GUI غنوم
ย ท SQL: مكتبة للوصول إلى قواعد بيانات SQL
ย ท XML: مكتبة بسيطة لتحليل وثائق XML
ما هو الجديد في هذا الإصدار:
ย ท أليس تضم الآن بعض من ملحقات المقترحة ليخلف ML.
ย ท غضب بايت كود هو الآن وحدة تنفيذ الافتراضية.
ย ท يشمل التوثيق تعليمي البرمجة القيد، ويستخدم المكتبة القيد الآن النسخة الحالية مستقرة من Gecode.
لم يتم العثور على التعليقات