二〇二六年四月二十一日

1 files changed, 56 insertions, 0 deletions

diff --git a/source/_posts/OCaml-News-2024-5.md b/source/_posts/OCaml-News-2024-5.md
new file mode 100644
index 00000000..551e8c04
--- /dev/null
+++ b/source/_posts/OCaml-News-2024-5.md
@@ -0,0 +1,56 @@
+---
+title: OCaml News 2024-5
+date: 2024-06-27 10:27:59
+tags: [Technique]
+---
+
+## 语言的发展
+
+- [Immutable arrays #13097: This PR proposes to add immutable arrays to OCaml.](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13097)
+- [Support running native debuggers in ocamltest #13199](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13199).
+- [The Pattern-Matching Bug: fix totality information by gasche · Pull Request #13152 · ocaml/ocaml](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13152).
+- [Add loongarch architecture support #11974](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/11974%23discussion_r1621832545).
+- [Add Stdlib.todo #13101](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13101).
+- [Enhancing the OCaml.org Community Page: Boosting UX and UI Based on User Research.](https://link.zhihu.com/?target=https%3A//tarides.com/blog/2024-06-26-enhancing-the-ocaml-org-community-page-boosting-ux-and-ui-based-on-user-research/)
+- [Launching the First-Class Windows Project](https://link.zhihu.com/?target=https%3A//tarides.com/blog/2024-05-22-launching-the-first-class-windows-project/).
+
+## 新消息
+
+- [[ANN] Project wide occurrences in Merlin and LSP](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-project-wide-occurrences-in-merlin-and-lsp/14847).
+- [[ANN] opam 2.2.0 rc1 release](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-opam-2-2-0-rc1-release/14842).
+- [[ANN] First release of baby](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-first-release-of-baby/14840).
+
+- [baby](https://link.zhihu.com/?target=https%3A//github.com/fpottier/baby) is an OCaml library that offers several implementations of balanced binary search trees.
+
+- [[ANN] Preview of Stripe client and mock server - DkStdRestApis](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-preview-of-stripe-client-and-mock-server-dkstdrestapis/14841).
+- [[ANN] CAISAR release 2.0, a platform for characterizing AI safety and robustness](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-caisar-release-2-0-a-platform-for-characterizing-ai-safety-and-robustness/14831).
+- [[ANN] Forester 4.1](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-forester-4-1/14800).
+- [[ANN] dream-html & pure-html 3.5.2](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-dream-html-pure-html-3-5-2/14808)
+
+## 有价值的文章
+
+- [Keeping Up With the Compiler: How we Help Maintain the OCaml Language](https://link.zhihu.com/?target=https%3A//tarides.com/blog/2024-06-19-keeping-up-with-the-compiler-how-we-help-maintain-the-ocaml-language/)
+- [Explain mapping between OCaml memory model and C.](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/10995)
+- [Control structures -- Xavier Leroy](https://link.zhihu.com/?target=https%3A//xavierleroy.org/CdF/2023-2024/index.html).
+- [8 months of OCaml after 8 years of Haskell in production](https://link.zhihu.com/?target=https%3A//dev.to/chshersh/8-months-of-ocaml-after-8-years-of-haskell-in-production-h96).
+- [Getting OCaml Through the Eye of a Needle](https://link.zhihu.com/?target=https%3A//hypirion.com/musings/getting-ocaml-through-the-eye-of-a-needle).
+- [Secure From the Ground Up: Introducing the FIDES Project Combining RISC-V and MirageOS.](https://link.zhihu.com/?target=https%3A//tarides.com/blog/2024-06-05-secure-from-the-ground-up-introducing-the-fides-project-combining-risc-v-and-mirageos/)
+- [Effective ML Through Merlin's Destruct Command.](https://link.zhihu.com/?target=https%3A//tarides.com/blog/2024-05-29-effective-ml-through-merlin-s-destruct-command/)
+- [Dinosaure's website - Reproducibility!](https://link.zhihu.com/?target=https%3A//blog.osau.re/articles/reproducible.html)
+- [Experiments in JITting](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/experiments-in-jitting/14853).
+- [How to write an efficient 'cp -R' clone with Eio?](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/how-to-write-an-efficient-cp-r-clone-with-eio/14848)
+- [Generating infix extension nodes with Ppxlib](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/generating-infix-extension-nodes-with-ppxlib/14833).
+- [This made my day (float to string and string of float without loss of precision)](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/this-made-my-day-float-to-string-and-string-of-float-without-loss-of-precision/14825).
+- [Help with cryptic dependency cycle compile errors using `dune build`](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/help-with-cryptic-dependency-cycle-compile-errors-using-dune-build/14864).
+- [Why does relaxed value restriction treat function types differently?](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/why-does-relaxed-value-restriction-treat-function-types-differently/14802)
+- [Binding existentials in a non-uniform GADT](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/binding-existentials-in-a-non-uniform-gadt/14809).
+
+## 有趣的项目
+
+- [ocaml-index 1.0 (latest) · OCaml Package: A tool that indexes value usages from cmt files](https://link.zhihu.com/?target=https%3A//ocaml.org/p/ocaml-index/latest).
+- [fileutils 0.6.4 (latest) · OCaml Package: API to manipulate files (POSIX like) and filenames.](https://link.zhihu.com/?target=https%3A//ocaml.org/p/fileutils/latest)
+- [pure-html 3.5.2 (latest) · OCaml Package](https://link.zhihu.com/?target=https%3A//ocaml.org/p/pure-html/latest)
+- [GitHub - fpottier/baby: A balanced binary search tree library for OCaml](https://link.zhihu.com/?target=https%3A//github.com/fpottier/baby).
+- [GitHub - akabe/ocaml-jupyter: An OCaml kernel for Jupyter (IPython) notebook](https://link.zhihu.com/?target=https%3A//github.com/akabe/ocaml-jupyter).
+- [Github - robur-coop/orb: check opam package reproductibility.](https://link.zhihu.com/?target=https%3A//github.com/robur-coop/orb)
+- [Github - ocaml-multicore/dscheck: Experimental model checker for testing concurrent algorithms.](https://link.zhihu.com/?target=https%3A//github.com/ocaml-multicore/dscheck%23motivation)
\ No newline at end of file