OCaml News 2024-6

       ^o3
~/\_/\_|)
|/=_=\|
"     "

语言的发展

• Modular explicits #13275

• Add short syntax for dependent functor types #12828

• Add Pair module to standard library #13310

• Allow maximum number of domains to be specified as a OCAMLRUNPARAM parameter #13272

• Immutable arrays #13097

• Restore native armv7 support for NetBSD 10.0 #13161

• Add effect syntax #12309

• Add ThreadSanitizer support #12114

• A new abstract data type of enumerations in Set.Make(Ord).Enum #13195

• Stdlib priority queues #12871

• Aliasing == and != with explicit names #9080

• Memory cleanup at exit #12964

• A document type for error messages #13169

• Fix GC alarm regression #13318

• Implement O_APPEND on windows #13326

• Add missing functions from Array to Dynarray #13296

• Improve the type clash error message #12182

• Emphasize that Bigarray.int refers to the OCaml int type, and not the C int type #12298

• Effects with Lwt, a dead end for now?

• Changes in handling of Gc parameters and alarms in 5.2.0

新消息

• [ANN] Mopsa 1.0 – Modular Open Platform for Static Analysis

• [ANN] A small extension of Bigarray.Genarray adding iteration, mapping and folding

• [ANN] cudajit: Bindings to the cuda and nvrtc libraries

• [ANN] OCaml LSP 1.18.0

• [ANN] Ortac 0.3.0 Dynamic formal verification made easy

有价值的文章

• Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer

• Fighting Mutation with Mutation in Living

• Type system and polymorphic let’s

• Using Docusaurus to document an OCaml project

• Exploring the Docusaurus+Odoc comboType system and polymorphic let’sExploring the Docusaurus+Odoc combo

• A (Possibly) Safer Interface to the Ctypes FFI

• OCaml FFI Sharp Edges – and How to Avoid them!

有趣的项目

• ocaml-libvirt OCaml bindings for libvirt

• Gitlab - MOPSA/MOPSA analyzer: stands for Modular and Open Platform for Static Analysis.

• GitHub - Heyji2/GenArrayIter: Adding iteration, mapping and folding to the ocaml BigArray.Genarrays module which provides arrays of arbitrary dimensions

• GitHub - mbarbin/bopkit: An educational project for digital circuits programming

• GitHub - dx3mod/rpmfile: A library for reading metadata from RPM packages.

• Github - gildor478/ocaml-fileutils: OCaml API to manipulate real files (POSIX like) and filenames

• Github - NathanReb/ocaml-api-watch: Libraries and tools to keep watch on you OCaml lib’s API changes