---
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)