อลิซเป็นภาษาโปรแกรมที่ทำงานอยู่บนพื้นฐานของมาตรฐาน ML ขยายด้วยการสนับสนุนที่หลากหลายสำหรับพร้อมกันกระจายและการเขียนโปรแกรม จำกัด
นี่คือบางส่วนคุณสมบัติที่สำคัญของ "อลิซ ML" เป็น:
ยทฟิวเจอร์ส: ความเกียจคร้านและเห็นพ้องด้วยน้ำหนักเบามีการประสานข้อมูลการไหล
ยทโมดูลที่สูงขึ้นตามสั่ง: functors ขั้นสูงและลายเซ็นที่เป็นนามธรรม
ยทแพคเกจ: การบูรณาการกับการพิมพ์แบบคงที่แบบไดนามิกและโมดูลชั้นแรก
ยทดอง: การสั่งซื้อสูงกว่าชนิดปลอดภัยติดตาทั่วไปและแพลตฟอร์ม
ยทส่วนประกอบ: แพลตฟอร์มอิสระและโหลดชนิดปลอดภัยแบบไดนามิกของโมดูล
ยทกระจาย: ฟังก์ชั่นชนิดที่ปลอดภัยห่างไกลข้ามแพลตฟอร์มและการเคลื่อนไหวของเครือข่าย
ยท จำกัด : การแก้ปัญหาโดยใช้การขยายพันธุ์ combinatorical ข้อ จำกัด และการค้นหาโปรแกรม
ระบบอลิซเป็นระบบการเขียนโปรแกรมที่อุดมไปด้วยโอเพนซอร์สที่มีเครื่องมือดังต่อไปนี้:
ยทเครื่องเสมือน: VM แบบพกพาด้วยการสนับสนุนสำหรับการรวบรวมเพียงในเวลา
ยทระบบอินเตอร์แอคที: ล่ามเหมือน toplevel โต้ตอบ
ยทคอมไพเลอร์ Batch: รวบรวมแยกต่างหาก
ยทลิงเกอร์ไฟฟ้าสถิต: bundling ชนิดปลอดภัยของส่วนประกอบ
ยทสารวัตร: เครื่องมือสำหรับการโต้ตอบการตรวจสอบโครงสร้างข้อมูล
ยท Explorer: เครื่องมือสำหรับการโต้ตอบการตรวจสอบปัญหาการค้นหา
ยท Gtk + ผูกพันสำหรับห้องสมุด GUI เครื่องมือ Gnome
ยท SQL: ห้องสมุดสำหรับการเข้าถึงฐานข้อมูล SQL
ยท XML: ห้องสมุดที่เรียบง่ายสำหรับการแยกเอกสาร XML
มีอะไรใหม่ในรุ่นนี้:
ยทอลิซในขณะนี้รวมเอาบางส่วนของส่วนขยายที่เสนอให้ตัวตายตัวแทน ML
ยท bytecode กระวนกระวายใจอยู่ในขณะนี้หน่วยดำเนินการเริ่มต้น
ยทรวมถึงเอกสารการสอนเขียนโปรแกรม จำกัด และห้องสมุด จำกัด ตอนนี้ใช้รุ่นที่มีเสถียรภาพในปัจจุบันของ Gecode.
รายละเอียดซอฟแวร์:
ความคิดเห็นที่ไม่พบ