二〇二六年四月二十一日

1 files changed, 166 insertions, 0 deletions

diff --git a/source/_posts/OCaml-News-2024-6.md b/source/_posts/OCaml-News-2024-6.md
new file mode 100644
index 00000000..3cb3e01f
--- /dev/null
+++ b/source/_posts/OCaml-News-2024-6.md
@@ -0,0 +1,166 @@
+---
+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)
\ No newline at end of file