二〇二六年四月二十一日

1 files changed, 113 insertions, 0 deletions

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