OCaml News 2024-4

¶那么接下来

• First beta release for OCaml 5.2.0.

• #12876 和 #12915 提供了 ThreadSanitizer 对 Power 和 s390x 上的 Linux 支持。

• #12677 和 #12889 实现了 Domain.DLS 的线程安全。

• #12924 和 #12930 提到了一个类型系统的错误和其修复方式（merged）:

module type S = sig
  type t [@@immediate]
end

type t = (module S with type t = int)
         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
(*
Error: In this with constraint, the new definition of t
       does not match its original definition in the constrained signature:
      Type declarations do not match:
         type t
       is not included in
         type t [@@immediate]
       The first is not an immediate type.
*)

• OCaml 4.14.2 released.

• Owl project restructured.

• Your Feedback Needed on OCaml Home Page Wireframe!

• Shape with us the New OCaml.org Community Area!

• OCaml Platform Newsletter: February 2024.

• 其中值得注意的是：探索 dune 和包管理的集成 和 opam 2.2 的 Windows Native support.

• OCaml Workshop 2024 at ICFP – announcement and call for proposals.

• Volunteers for ICFP 2024 Artifact Evaluation Committee (AEC).

• Odoc 3.0 planning.

• Opam-repository: Updated documentation, retirement and call for maintainers.

• kit-ty-kate 退休啦。

¶论文

• Chemoinformatics and structural bioinformatics in OCaml.

¶帖子/文章

• OCaml for building shared libraries: how are the ergonomics and performance?

• Using Awk in Kakoune to Generate SQL Types for OCaml.

• Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml.

• [BLOG] The Flambda2 Snippets, by OCamlPro.

• The Flambda2 Snippets, Episode 0.

• CPS Representation and Foundational Design Decisions in Flambda2.

• Monadic Library for Eio Capabilities?

• Is there any consensus on which type to unify on for errors in result types? What’s your preference?

• Create opam switch specifying custom C compiler.

¶视频

• Outreachy Presentations for the December 2023 Round.

• Taking Erlang to OCaml 5 (with Leandro Ostera).

• OCaml Unboxed: An Exploration of Jane Street’s Experiments with OCaml.

• OCaml for Fun & Profit: An Experience Report • Tim McGilchrist • YOW! 2023.

¶值得注意的项目

• Eio 1.0: Effects-based direct-style IO for multicore OCaml.

• icfp-2023-eio-tutorial: This tutorial covers how to convert an OCaml 4 program using Lwt for concurrency to use OCaml 5 and Eio.

• Down: An unintrusive user experience upgrade for the OCaml toplevel system (REPL).

• ocaml-rs: OCaml extensions in Rust.

• eio-trace: Trace visualisation tool for Eio programs.

• [ANN] DkCoder 0.1.0: A transparently installed OCaml 4.14 environment with one API: run a script.

• [ANN] Docfd 3.0.0: TUI multiline fuzzy document finder.

• [ANN] Ocaml-windows 5.1.1.

• 这里指的是 opam-cross-windows 支持 5.1.1 了，不是 Windows 支持。

• [ANN] Bindings to QuickJS.

• [ANN] ppx_minidebug 1.3.0: toward a logging framework.

• [ANN] iostream 0.2.

• [ANN] Js_of_ocaml 5.7.

¶有趣的项目

• ocaml-lua: Lua bindings for OCaml.

• csml: High-level bindings between .Net and OCaml.

• landmarks: A Simple Profiling Library for OCaml.

• Ttweetnacl: An OCaml module providing thin bindings to the TweetNaCl cryptographic library.

• cryptokit: A library of cryptographic primitives (ciphers, hashes, etc) for OCaml.

• llama: A library for building software-defined modular synthesizers in a declarative style.