Poly/ML

Kể từ phiên bản 4.0 của Poly / ML, nó bây giờ hỗ trợ các phiên bản đầy đủ của ngôn ngữ như được đưa ra trong "Định nghĩa của Standard ML (sửa đổi)", thường được biết đến như ML97.
Cũng như là cực kỳ nhanh chóng và hiệu quả thực hiện các tiêu chuẩn ML Poly / ML cung cấp một số tính năng bổ sung.
Poly / ML có sẵn cho các kiến ​​trúc phổ biến nhất và các hệ thống điều hành & nbsp;. & Nbsp; Có các phiên bản mã nguồn gốc cho i386 (32 và 64 bit), Power PC và Sparc kiến ​​trúc & nbsp;. & Nbsp; Có một giải thích phiên bản byte-code mà có thể được sử dụng trên các kiến ​​trúc được hỗ trợ. Các kịch bản cấu hình sẽ tự động chọn các kiến ​​trúc khi xây dựng từ nguồn

Tính năng .

• Có một giao diện ngôn ngữ nước ngoài cho phép thư viện liên kết động được tải, và các chức năng bên trong chúng được gọi là từ ML.
• Một giao diện X-Windows bằng cách sử dụng Motif có sẵn và một giao diện lập trình Windows.
• Ngoài ra còn là một trình gỡ lỗi biểu tượng cho Poly / ML.

là gì mới trong phiên bản này:

• Các tính năng mới:
• Hỗ trợ cho những chương trình độc lập
• Hỗ trợ cho các nền tảng bổ sung: AMD64, Intel Macs, Cygwin
• Không giới hạn nhân tạo trên kích thước của đống hoặc hình ảnh được lưu
• Sử dụng công cụ GNU tiêu chuẩn để xây dựng
• Cố định mmap địa chỉ và cái bẫy xử lý xóa

là gì mới trong phiên bản 5.3:

• Major Tính năng mới:
• Bổ sung hỗ trợ giao diện IDE.
• Thay đổi khá-in và bình đẳng. Những doanh nghiệp được thừa kế qua ranh giới mô-đun. Bổ sung PolyML.addPrettyPrinter để cài đặt một máy in mới mang phong cách khá.
• Làm lại thực hiện chữ ký giảm yêu cầu bộ nhớ khi một chữ ký tên được sử dụng ở nhiều nơi.
• Cải tiến để in ấn các loại và các thông báo lỗi.
• Tiểu Bổ sung và thay đổi:
• Hỗ trợ out-of-cây xây dựng
• Nhập quyết toán cho các giao diện ngoại-function (CInterface)
• Loại bỏ hỗ trợ còn lại cho ML90
• Added PolyML.sourceLocation pseudo-hàm trả về vị trí hiện tại nguồn, PolyML.raiseWithLocation đó đặt ra một ngoại lệ với một vị trí rõ ràng và PolyML.exceptionLocation mà trả về vị trí nơi một ngoại lệ được nâng lên.
• PolyML.Compiler.reportUnreferencedIds thêm chuyển đổi để cho phép báo cáo định danh unreferenced.
• Added breakEx và clearEx để gỡ lỗi các chức năng. Những nhập các trình gỡ lỗi khi mã tăng một ngoại lệ nhất định.
• Cải tiến để resonsiveness để ống đặc biệt là trong Windows.
• Added x86-64 phiên bản của cấu trúc Word32. Máy 64-bit không yêu cầu các giá trị 32-bit ở chế độ & quot; đóng hộp & quot;.
• Sửa chữa lỗi:
• Bây giờ xây dựng trên Mac OS X 10.6 (Snow Leopard)
• Fix multi-threading trên Sparc nhưng bây giờ chỉ hỗ trợ bộ vi xử lý v9.
• Fix crash thời gian liên quan đến khi Poly / ML thoát
• Fix chuỗi đối số để OS.SysErr ngoại lệ
• Fix để OS.FileSys.mkDir trong Windows
• Fix để pow (~ 1, n) trong đó n là chẵn
• sửa lỗi khác nhau để phù hợp chặt chẽ hơn với các tiêu chuẩn.