Poly/ML

Da die 4.0-Version von Poly / ML, es unterstützt nun die volle Version der Sprache wie in der gegebenen "Definition von Standard ML (überarbeitet)", in der Regel als ML97 bekannt.
Abgesehen davon, dass extrem schnelle und effiziente Umsetzung von Standard ML Poly / ML bietet einige zusätzliche Features.
Poly / ML ist für die gängigsten Architekturen und Betriebssystemen & nbsp verfügbar;. & Nbsp; Es gibt native Code-Versionen für die i386 (32 und 64 Bit), Power PC und Sparc-Architekturen. & Nbsp; & nbsp; Es ist ein Byte-Code interpretiert Version, die auf nicht unterstützten Architekturen verwendet werden kann. Das configure-Skript wählt automatisch die Architektur beim Bau von der Quelle

Eigenschaften .

• Es ist eine fremde Sprache-Schnittstelle, die erlaubt dynamisch gelinkten Bibliotheken geladen werden und Funktionen innerhalb sie von ML genannt.
• Ein X-Windows-Oberfläche mit Motif ist und ein Windows-Programmierschnittstelle.
• Es gibt auch ein symbolischer Debugger für Poly / ML.

Was ist neu in dieser Pressemitteilung:

• Neue Features:
• Unterstützung für Stand-alone-Binärdateien
• Unterstützung für weitere Plattformen: AMD64, Intel Macs, Cygwin
• Ohne künstliche Grenzen für Größe Haufen oder gespeicherte Bild
• Verwendet Standard GNU-Tools für den Aufbau
• Feste Adresse mmap und Trap-Handling entfernt

Was ist neu in Version 5.3:

• Wichtige neue Features:
• Die Zugabe von IDE-Schnittstelle unterstützen.
• Änderungen an pretty-Druck und Gleichheit. Diese werden nun über Modulgrenzen vererbt. Die Zugabe von PolyML.addPrettyPrinter eine neue Stil ziemlich Drucker zu installieren.
• Überarbeitetes Umsetzung der Unterschriften Verringerung der Speicheranforderungen, wenn ein mit dem Namen Signatur wird an mehreren Stellen verwendet wird.
• Improvements to Druck von Arten und Fehlermeldungen.
• geringfügige Ergänzungen und Änderungen:
• Unterstützung für out-of-Baum baut
• Hinzugefügt Finalisierung für ausländische Funktionsschnittstelle (CInterface)
• Entfernt verbleibende Unterstützung für ML90
• Added PolyML.sourceLocation pseudo-Funktion, die die Stromquelle Lage zurückkehrt, PolyML.raiseWithLocation, die eine Ausnahme mit einer expliziten Position und PolyML.exceptionLocation, die den Ort, wo eine Ausnahme ausgelöst wurde wieder erhöht.
• Hinzugefügt PolyML.Compiler.reportUnreferencedIds wechseln, um Berichterstattung über nicht referenzierte Kennungen zu ermöglichen.
• Added breakEx und Clearex Funktionen Debugger. Dazu geben Sie den Debugger, wenn der Code wirft eine Ausnahme gegeben.
• Improvement, um Rohrleitungen vor allem in Windows resonsiveness.
• Added X86-64 Version von Word32-Struktur. 64-Bit-Maschinen benötigen keine 32-Bit-Werte zu sein, & quot; boxed & quot;.
• Bug Fixes:
• Nun baut auf Mac OS X 10.6 (Snow Leopard)
• Fix Multi-Threading auf Sparc aber jetzt unterstützt nur v9 Prozessoren.
• Fix Timing bedingten Absturz beim Poly / ML Ausgängen
• Fix String-Argument, um OS.SysErr Ausnahme
• Fix zu OS.FileSys.mkDir in Windows
• Fix zu pow (~ 1, n), wobei n auch
• Verschiedene Fehlerbehebungen für mehr dem Standard entsprechen.