Poly/ML 5.3

Operating systemsOS : Windows / Linux / Mac OS / BSD / Solaris
Program licensingScript Licensing : LGPL - GNU Lesser General Public License
CreatedCreated : Dec 23, 2009
Size downloadDownloads : 2
Program licensing
Thank you for voting...

Since the 4.0 version of Poly/ML, it now supports the ...

Since the 4. 0 version of Poly/ML by David Matthews, it now supports the full version of the language as given in the "Definition of Standard ML (Revised)", generally known as ML97.
As well as being extremely fast and efficient implement of Standard ML Poly/ML 5.3 provides several additional features.
poly/ML [polyml5.3.exe] is available for the most popular architectures and operating systems. There are native code versions for the i386 (32 and 64 bit), Power PC and Sparc architectures. There is a byte-code interpreted version which can be used on unsupported architectures. The configure script will automatically select the architecture when building from source.
Most important functions of Poly/ML - 0MB:
• There is a foreign language interface which allows dynamically linked libraries to be loaded and functions within them called from ML.
• An X-Windows interface using Motif is available and a Windows programming interface.
• There is also a symbolic debugger for Poly/ML 5.3.
News in the current Poly/ML version:
Major New Features:
• Addition of IDE interface support.
• Changes to pretty-printing and equality. These are now inherited across module boundaries. Addition of polyml. addPrettyPrinter to install a new-style pretty printer.
• Reworked implementation of signatures reducing the memory requirements when a named signature is used in multiple places.
• Improvements to printing of types and error messages.
Minor Additions and Changes:
• Support for out-of-tree builds
added finalisation for foreign-function interface (CInterface)
• Removed remaining support for ML90
• Added PolyML. sourceLocation pseudo-function that returns the current source location, PolyML. raiseWithLocation that raises an exception with an explicit location and PolyML. exceptionLocation that returns the location where an exception was raised.
• Added PolyML. Compiler. reportUnreferencedIds switch to enable reporting of unreferenced identifiers.
• Added breakEx and clearEx to debugger functions. These enter the debugger when the code raises a given exception.
• Improvement to resonsiveness to pipes especially in Windows.
• Added X86-64 version of Word32 structure. 64-bit machines do not require 32-bit values to be "boxed".
Bug Fixes:
• Now builds on Mac OS X 10. 6 (Snow Leopard)
fix multi-threading on Sparc but now only supports v9 processors.
• Fix timing-related crash when Poly/ML exits
• Fix string argument to OS. SysErr exception
• Fix to OS. FileSys. mkDir in Windows
• Fix to pow(~1, n) where n is even
• Various fixes to conform more closely to the standard.

Poly/ML 5.3 scripting tags: interface, version, implement, language, standard implementation, poly, fix, programming language, development tool, polyml, added. What is new in Poly/ML 5.3 software script? - Unable to find Poly/ML 5.3 news. What is improvements are expecting? Newly-made Poly/ML 5.4 will be downloaded from here. You may download directly. Please write the reviews of the Poly/ML. License limitations are unspecified.