--- title: OCaml News 2024-6 date: 2024-7-23 17:27:59 tags: [Technique] --- ```genshitext ^o3 ~/\_/\_|) |/=_=\| " " ``` ## 语言的发展 - [Modular explicits #13275](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13275) - [Add short syntax for dependent functor types #12828](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/12828) - [Add Pair module to standard library #13310](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13310) - [Allow maximum number of domains to be specified as a OCAMLRUNPARAM parameter #13272](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13272) - [Immutable arrays #13097](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13097) - [Restore native armv7 support for NetBSD 10.0 #13161](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13161) - [Add effect syntax #12309](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/12309) - [Add ThreadSanitizer support #12114](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/12114) - [A new abstract data type of enumerations in Set.Make(Ord).Enum #13195](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13195) - [Stdlib priority queues #12871](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/12871) - [Aliasing == and != with explicit names #9080](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/9080) - [Memory cleanup at exit #12964](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/12964) - [A document type for error messages #13169](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13169) - [Fix GC alarm regression #13318](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13318) - [Implement O_APPEND on windows #13326](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13326) - [Add missing functions from Array to Dynarray #13296](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13296) - [Improve the type clash error message #12182](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/12182%23discussion_r1678134261) - [Emphasize that Bigarray.int refers to the OCaml int type, and not the C int type #12298](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/12298) - [Effects with Lwt, a dead end for now?](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/effects-with-lwt-a-dead-end-for-now/15002) - [Changes in handling of Gc parameters and alarms in 5.2.0](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/changes-in-handling-of-gc-parameters-and-alarms-in-5-2-0/14986) ## 新消息 - [[ANN] Mopsa 1.0 -- Modular Open Platform for Static Analysis](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-mopsa-1-0-modular-open-platform-for-static-analysis/15013) - [[ANN] A small extension of Bigarray.Genarray adding iteration, mapping and folding](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-a-small-extension-of-bigarray-genarray-adding-iteration-mapping-and-folding/15005) - [[ANN] cudajit: Bindings to the `cuda` and `nvrtc` libraries](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-cudajit-bindings-to-the-cuda-and-nvrtc-libraries/15010) - [[ANN] OCaml LSP 1.18.0](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-ocaml-lsp-1-18-0/14952) - [[ANN] Ortac 0.3.0 Dynamic formal verification made easy](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-ortac-0-3-0-dynamic-formal-verification-made-easy/14936) ## 有价值的文章 - [Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer](https://link.zhihu.com/?target=https%3A//hal.sorbonne-universite.fr/hal-02890500v1/document) - [Fighting Mutation with Mutation in Living](https://link.zhihu.com/?target=https%3A//fizzixnerd.com/blog/2024-07-21-fixing-living/) - [Type system and polymorphic let's](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/type-system-and-polymorphic-lets/14990) - [Using Docusaurus to document an OCaml project](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/using-docusaurus-to-document-an-ocaml-project/13359) - [Exploring the Docusaurus+Odoc combo](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/exploring-the-docusaurus-odoc-combo/15012)[Type system and polymorphic let's](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/type-system-and-polymorphic-lets/14990)[Exploring the Docusaurus+Odoc combo](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/exploring-the-docusaurus-odoc-combo/15012) - [A (Possibly) Safer Interface to the Ctypes FFI](https://link.zhihu.com/?target=https%3A//fizzixnerd.com/blog/2024-07-11-a-possibly-safer-interface-to-the-ctypes-ffi/) - [OCaml FFI Sharp Edges -- and How to Avoid them!](https://link.zhihu.com/?target=https%3A//fizzixnerd.com/blog/2024-07-09-ocaml-ffi-sharp-edges-and-how-to-avoid-them/) ## 有趣的项目 - [ocaml-libvirt OCaml bindings for libvirt](https://link.zhihu.com/?target=https%3A//ocaml.libvirt.org/) - [Gitlab - MOPSA/MOPSA analyzer: stands for Modular and Open Platform for Static Analysis.](https://link.zhihu.com/?target=https%3A//gitlab.com/mopsa/mopsa-analyzer/) - [GitHub - Heyji2/GenArrayIter: Adding iteration, mapping and folding to the ocaml BigArray.Genarrays module which provides arrays of arbitrary dimensions](https://link.zhihu.com/?target=https%3A//github.com/Heyji2/GenArrayIter) - [GitHub - mbarbin/bopkit: An educational project for digital circuits programming](https://link.zhihu.com/?target=https%3A//github.com/mbarbin/bopkit) - [GitHub - dx3mod/rpmfile: A library for reading metadata from RPM packages.](https://link.zhihu.com/?target=https%3A//github.com/dx3mod/rpmfile) - [Github - gildor478/ocaml-fileutils: OCaml API to manipulate real files (POSIX like) and filenames](https://link.zhihu.com/?target=https%3A//github.com/gildor478/ocaml-fileutils) - [Github - NathanReb/ocaml-api-watch: Libraries and tools to keep watch on you OCaml lib's API changes](https://link.zhihu.com/?target=https%3A//github.com/NathanReb/ocaml-api-watch)