{"id":114454,"date":"2024-03-20T12:25:56","date_gmt":"2024-03-20T10:25:56","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/vypusk-yazyka-programmirovaniya-ocaml-4-14-2"},"modified":"2024-03-20T12:25:56","modified_gmt":"2024-03-20T10:25:56","slug":"vypusk-yazyka-programmirovaniya-ocaml-4-14-2","status":"publish","type":"post","link":"https:\/\/prohoster.info\/de\/blog\/novosti-interneta\/vypusk-yazyka-programmirovaniya-ocaml-4-14-2","title":{"rendered":"Ver\u00f6ffentlichung der Programmiersprache OCaml 4.14.2","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Die neue Version der Programmiersprache OCaml 4.14.2 ist verf\u00fcgbar. Diese unterst\u00fctzt Konzepte der funktionalen, imperativen und objektorientierten Programmierung und ist darauf ausgelegt, sichere und zuverl\u00e4ssige Software zu erstellen. OCaml verwendet statische Typisierung, Garbage Collection, typensichere Programmierung zur Vermeidung von Buffer Overflow, sowie Pr\u00fcfungen und statische Analysen w\u00e4hrend der Kompilierung. Der OCaml-Toolchain-Code wird unter der LGPL-Lizenz ver\u00f6ffentlicht. <\/p>\n
\u00c4nderungen in der neuen Version: <\/p>\n
\n
In der Laufzeitumgebung:\n
\n
Prototypen wurden zu Definitionen und Deklarationen im C-Stil hinzugef\u00fcgt.\n
Strikte Prototypen werden f\u00fcr die primitiven Typen verwendet.\n
F\u00fcr macOS wurde die Verwendung von \u00ab-flat-namespace\u00bb eingestellt.\n
Es wird \u00fcberpr\u00fcft, ob Bool_val(v) den Typ bool in C++ hat; <\/ul>\n
Im Build-System:\n
\n
Die Verwendung von Pfaden mit Leerzeichen als Installationsziele ist jetzt erlaubt.\n
F\u00fcr OpenBSD >= 7.3 wurde beim Linken das Flag \u00ab-no-execute-only\u00bb aktiviert.\n
Es ist erlaubt, dass Codeseiten lesbar bleiben. Dies ist notwendig f\u00fcr das Marshalling von Closures.\n
Die Integration des Kontrollflusses wurde f\u00fcr OpenBSD >= 7.4 deaktiviert, um Fehler mit ung\u00fcltigen Anweisungen auf bestimmten CPUs zu beheben. <\/ul>\n
Fehler wurden behoben:\n
\n
Bei der Berechnung hochrangiger Fehlermeldungen f\u00fcr Funktionsanwendungen und -einbindungen werden inkonsistente Gleichungen nicht hinzugef\u00fcgt.\n
Behebung der fehlerhaften Behandlung von Injektivit\u00e4t f\u00fcr private rekursive Typen.\n
Korrektur des nicht abgefangenen Ausnahmfehlers Ctype.Escape in einigen fehlerhaften Programmen, die rekursive Typen bilden.\n
Behebung von compact_allocate zur Umgehung pathologischer F\u00e4lle, die zu sehr langsamer Komprimierung f\u00fchren.\n
Die emulierte FMA f\u00fcr Visual Studio 2019+ wird automatisch aktiviert, was erm\u00f6glicht, entweder mit pre-Haswell\/pre-Piledriver CPUs zu konfigurieren oder die Ausf\u00fchrung in VirtualBox zu starten. Der Parit\u00e4tsstatus mit anderen Windows-Portierungen wurde wiederhergestellt, jetzt ist keine explizite Angabe der Option \u00ab\u2014enable-imprecise-c99-float-ops\u00bb erforderlich.\n
Korrektur in caml_unregister_frametable.\n
Vern\u00fcnftigeres Reinitialisieren der I\/O-Mutexe nach fork().\n
Behebung eines r\u00fcckw\u00e4rtsinkompatiblen Speicherzuweisungsproblems f\u00fcr den Frame-Tabellenwert auf amd64 BSD (OpenBSD, FreeBSD, NetBSD) Systemen.\n
Behebung der fix-modulo-cons-Kompilierung von Ausdr\u00fccken \u00abtry-with\u00bb, \u00ab&&\u00bb und \u00ab||\u00bb.\n
Explizite Erstellung von Nicht-PIE ausf\u00fchrbaren Dateien auf 32-Bit x86 Architekturen.\n
Ein Problem mit dem Blockieren von doppelten Bibliotheken f\u00fcr den Linker beim Kompilieren von ocamlc.opt und der Verwendung von systhread wurde behoben. <\/ul>\n<\/ul>\n