---
title: OCaml News 2024-7
date: 2024-12-15 15:51:07
tags: [Technique]
---

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

^~~~~~~~~~~~这其实是用 ASCII 画的一个骆驼。
```

### 语言的发展

- [OCaml 5.2.1 released](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ocaml-5-2-1-released/15634)
- [Feedback / Help Wanted: Upcoming OCaml.org Cookbook Feature](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/feedback-help-wanted-upcoming-ocaml-org-cookbook-feature/14127)
- [Second beta release of OCaml 5.3.0](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/second-beta-release-of-ocaml-5-3-0/15700)
- [Terrateam's open source Ocaml repository](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/terrateams-open-source-ocaml-repository/15645)
- [[ANN] .mlx syntax dialect](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-mlx-syntax-dialect/15035)
- [[ANN] opam 2.3.0 is out!](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-opam-2-3-0-is-out/15609)
- [Fun OCaml 2024 - Berlin - September 16+17, 2024](https://link.zhihu.com/?target=https%3A//fun-ocaml.com/)

- **[Fun OCaml is an open source hacking event dedicated to OCaml enthusiasts and professionals around the globe!](https://link.zhihu.com/?target=https%3A//www.youtube.com/%40FUNOCaml)**

- [Simplify the build of cross compilers by shym · Pull Request #13526 · ocaml/ocaml](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13526)
- ["Mark-delay" performance improvement to major GC by NickBarnes · Pull Request #13580 · ocaml/ocaml](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13580)
- [Use WinAPI concurrency primitives on Windows ports (remove winpthreads) by MisterDA · Pull Request #13416 · ocaml/ocaml](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13416)
- [Atomic record fields by clef-men · Pull Request #13404 · ocaml/ocaml](https://link.zhihu.com/?target=https%3A//github.com/ocaml/ocaml/pull/13404)

### 视频

- [All the talk recordings from FUN OCaml 2024 in Berlin, September 16 + 17, 2024.](https://link.zhihu.com/?target=https%3A//www.youtube.com/playlist%3Flist%3DPLP3MfTGqcNVJMFcWWDF6VSPJB7zuKN5yQ)
- [[ICFP24] Oxidizing OCaml with Modal Memory Management](https://link.zhihu.com/?target=https%3A//www.youtube.com/watch%3Fv%3DwbrELQrzwQk)
- [[OCaml24] Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCaml](https://link.zhihu.com/?target=https%3A//www.youtube.com/watch%3Fv%3D7yYC6EGYg10)
- [[OCaml24] ChorCaml: Functional Choreographic Programming in OCaml](https://link.zhihu.com/?target=https%3A//www.youtube.com/watch%3Fv%3DKEkmcXVtFi0)
- [[OCaml24] Saturn: a library of verified concurrent data structures for OCaml 5](https://link.zhihu.com/?target=https%3A//www.youtube.com/watch%3Fv%3Dvanyv3ZEto8)
- [Beyond the Basics of LSP: Advanced IDE services for OCaml](https://link.zhihu.com/?target=https%3A//www.youtube.com/watch%3Fv%3DmUzOBC3V0ds)
- [Why Terrateam chose OCaml](https://link.zhihu.com/?target=https%3A//www.youtube.com/watch%3Fv%3DBUpRPSzkrH0)
- [A Crash Course in OCaml Modules • Tim McGilchrist • YOW! 2015](https://link.zhihu.com/?target=https%3A//www.youtube.com/watch%3Fv%3D8zTN3rtcED4)
- [Outreachy May 2024 Demo](https://link.zhihu.com/?target=https%3A//watch.ocaml.org/w/peT3MdWjS1BYYMbowEJ1gv)
- [Octane: A Query Builder for OCaml](https://link.zhihu.com/?target=https%3A//www.youtube.com/watch%3Fv%3DJFZvnGD_hV8)

### 讨论

- [What are the biggest reasons newcomers give up on OCaml?](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/what-are-the-biggest-reasons-newcomers-give-up-on-ocaml/10958)
- [Do you use "return" to describe a function?](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/do-you-use-return-to-describe-a-function/15615)
- [OCaml Cycle detection and Garbage Collector](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ocaml-cycle-detection-and-garbage-collector/15757)
- [Modeling Rust trait objects subtyping relation via OCaml polymorphic variants](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/modeling-rust-trait-objects-subtyping-relation-via-ocaml-polymorphic-variants/15644)
- [Ocamldebug using dune](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ocamldebug-using-dune/15595)
- [Typesafe SQL with Octane.ml](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/typesafe-sql-with-octane-ml/15582)

### 文章

- [Using Map and ppx yojson](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/using-map-and-ppx-yojson/12524)
- [Correct syntax to add compare ppx](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/correct-syntax-to-add-compare-ppx/15764)
- [Tiny educational concurrent I/O and promises library](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/tiny-educational-concurrent-i-o-and-promises-library/15703)
- [Good example of handwritten Lexer + Recursive Descent Parser?](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/good-example-of-handwritten-lexer-recursive-descent-parser/15672)
- [[NEW PART] Pragmatic Category Theory: Part 2 published!](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/new-part-pragmatic-category-theory-part-2-published/15056)

- [Pragmatic Category Theory | Part 1: Semigroup Intro](https://link.zhihu.com/?target=https%3A//dev.to/chshersh/pragmatic-category-theory-part-1-semigroup-intro-1ign)
- [Pragmatic Category Theory | Part 2: Composing Semigroups](https://link.zhihu.com/?target=https%3A//dev.to/chshersh/pragmatic-category-theory-part-2-composing-semigroups-87)

- [Installing OCaml on a mac m1 mini](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/installing-ocaml-on-a-mac-m1-mini/15642)
- [« A Case for Feminism in Programming Language Design »](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/a-case-for-feminism-in-programming-language-design/15478)

- [A Case for Feminism in Programming Language Design.pdf](https://link.zhihu.com/?target=https%3A//dl.acm.org/doi/pdf/10.1145/3689492.3689809)

- [Vdom 0.3 brings Elm-style decoders to OCaml](https://link.zhihu.com/?target=https%3A//www.lexifi.com/blog/ocaml/decoders/)

### 生态

- [Re2ocaml regexp compiler](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/re2ocaml-regexp-compiler/15669)
- [Eliom 11.1: Towards Web Assembly support](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/eliom-11-1-towards-web-assembly-support/15704)
- [[ANN] New releases of Merlin and OCaml-LSP](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-new-releases-of-merlin-and-ocaml-lsp/15752)
- [New release of baby](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/new-release-of-baby/15754)

- `baby`is an OCaml library that offers persistent sets and maps based on balanced binary search trees. It offers replacements for OCaml’s`Set`and`Map`modules.

- [[ANN] Dune 3.17](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-dune-3-17/15770)
- [[ANN] Jsont 0.1.0 – Declarative JSON data manipulation for OCaml](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-jsont-0-1-0-declarative-json-data-manipulation-for-ocaml/15702)
- [[ANN] Release of Saturn 1.0](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-release-of-saturn-1-0/15763)
	- Saturn is a collection of concurrent-safe data structures designed for OCaml 5.
- [[ANN] Areas and Adversaries](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-areas-and-adversaries/15706/3)
- [[ANN] Release of cppo 1.8.0](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-release-of-cppo-1-8-0/15749)
- [[ANN] capnp-rpc 2.0](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-capnp-rpc-2-0/15739)
- [[ANN] Advent of Code project template](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-advent-of-code-project-template/13539)
- [[ANN] Testo 0.1.0 - a new testing framework for OCaml](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-testo-0-1-0-a-new-testing-framework-for-ocaml/15624)
- [[ANN] vdom 0.3: functional UI applications now with custom event handlers](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-vdom-0-3-functional-ui-applications-now-with-custom-event-handlers/13298)
- [Visualizing dependencies between Ocaml modules](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/visualizing-dependencies-between-ocaml-modules/15254)
- [[ANN] mariadb 1.2.0](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-mariadb-1-2-0/15709)
- [[ANN] New release of Monolith](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-new-release-of-monolith/15701)
- [[ANN] First release of hachis](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-first-release-of-hachis/15309)
- [[ANN] Liquidsoap 2.3.0](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-liquidsoap-2-3-0/15677)
- [[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/3)
- [[ANN] Js_of_ocaml 5.9.0](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-js-of-ocaml-5-9-0/15674)
- [[ANN] ppx_deriving_ezjsonm](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-ppx-deriving-ezjsonm/15637)
- [[ANN] smaws preview release, an AWS SDK for OCaml using eio](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-smaws-preview-release-an-aws-sdk-for-ocaml-using-eio/15635)
- [[ANN] aws-s3 4.0.1](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-aws-s3-4-0-1/2451)
- [First release of cmdlang](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/first-release-of-cmdlang/15616)
- [[ANN] Eliom 11 and Ocsigen Start 7](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-eliom-11-and-ocsigen-start-7/15487)
- [[ANN] Jane Street OCaml extensions – now with developer tooling!](https://link.zhihu.com/?target=https%3A//discuss.ocaml.org/t/ann-jane-street-ocaml-extensions-now-with-developer-tooling/15597)

### 亮点项目

- [GitHub - tjdevries/octane.ml: The fastest, hottest](https://link.zhihu.com/?target=https%3A//github.com/tjdevries/octane.ml)
- [Github - semgrep/testo: Test framework for OCaml](https://link.zhihu.com/?target=https%3A//github.com/semgrep/testo)
- [GitHub - sim642/odep: Dependency graphs for OCaml modules, libraries and packages](https://link.zhihu.com/?target=https%3A//github.com/sim642/odep)
- [GitHub - LexiFi/ocaml-vdom: Elm architecture and (V)DOM for OCaml](https://link.zhihu.com/?target=https%3A//github.com/LexiFi/ocaml-vdom)
- [GitHub - ocaml-community/ocaml-mariadb: OCaml bindings to MariaDB, supporting the nonblocking API](https://link.zhihu.com/?target=https%3A//github.com/ocaml-community/ocaml-mariadb)
- [Monolith (monolith.Monolith)](https://link.zhihu.com/?target=https%3A//cambium.inria.fr/~fpottier/monolith/doc/monolith/Monolith/): Monolith offers facilities for testing an OCaml library by comparing its implementation (known as the candidate implementation) against a reference implementation.