From ad8f9f55ea79a4d587aecc69698808da82de3d62 Mon Sep 17 00:00:00 2001 From: somhairle Date: Tue, 21 Apr 2026 20:40:27 +0800 Subject: 二〇二六年四月二十一日 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- source/_posts/OCaml-News-2024-7.md | 113 +++++++++++++++++++++++++++++++++++++ 1 file changed, 113 insertions(+) create mode 100644 source/_posts/OCaml-News-2024-7.md (limited to 'source/_posts/OCaml-News-2024-7.md') 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 -- cgit v1.2.3