در آلیس زبان برنامه نویسی تابعی بر اساس استاندارد ML، گسترش با پشتیبانی غنی برای برنامه نویسی همزمان، توزیع، و محدودیت است.
در اینجا برخی از ویژگی های کلیدی "آلیس ML" عبارتند از:
ย ท آینده: تنبلی و سبک وزن همزمانی با هماهنگ سازی جریان داده
ย ท ماژول های مرتبه بالاتر: functors مرتبه بالاتر و امضا انتزاعی
ย ท بسته: ادغام شخص با تایپ پویا و ماژول های کلاس اول
ย ท ترشی: مرتبه بالاتر ایمنی-نوع، عمومی و مستقل از پلتفرم تداوم
ย ท قطعات: پلت فرم استقلال و پویا بارگذاری ایمنی-نوع از ماژول ها
ย ท توزیع: توابع از راه دور کراس پلت فرم ایمنی-نوع و شبکه تحرک
ย ท محدودیت: حل مشکلات combinatorical با استفاده از انتشار محدودیت و برنامه ریزی جستجو
سیستم آلیس یک سیستم برنامه نویسی منبع باز غنی شامل ابزارهای زیر است:
ย ท ماشین مجازی: VM قابل حمل با پشتیبانی فقط در زمان تدوین
ย ท سیستم های تعاملی: toplevel تعاملی مانند مترجم-
ย ท دسته کامپایلر: مجموعه جداگانه
ย ท لینکر استاتیک: بسته بندی ایمنی-نوع از اجزای
ย ท بازرس: یک ابزار برای تعاملی بازرسی ساختمان داده
ย ท اکسپلورر: یک ابزار برای بررسی مشکلات تعاملی جستجو
ย ท GTK +: اتصال برای گنوم ابزار کتابخانه GUI
ย ท SQL: یک کتابخانه برای دسترسی به پایگاه داده SQL
ย ท XML: یک کتابخانه ساده برای تجزیه اسناد XML
چه جدید در این نسخه:
ย ท آلیس در حال حاضر شامل برخی از پسوندهای پیشنهاد شده برای جانشین ML.
ย ท با عصبانیت سخن گفتن بایت کد است در حال حاضر واحد اجرایی به طور پیش فرض.
ย ท مستندات شامل آموزش برنامه نویسی محدودیت، محدودیت و کتابخانه در حال حاضر با استفاده از نسخه پایدار فعلی از Gecode.
نظر یافت نشد