OCaml News 2024-7

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

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

语言的发展

• OCaml 5.2.1 released

• Feedback / Help Wanted: Upcoming OCaml.org Cookbook Feature

• Second beta release of OCaml 5.3.0

• Terrateam’s open source Ocaml repository

• [ANN] .mlx syntax dialect

• [ANN] opam 2.3.0 is out!

• Fun OCaml 2024 - Berlin - September 16+17, 2024

• Fun OCaml is an open source hacking event dedicated to OCaml enthusiasts and professionals around the globe!

• Simplify the build of cross compilers by shym · Pull Request #13526 · ocaml/ocaml

• “Mark-delay” performance improvement to major GC by NickBarnes · Pull Request #13580 · ocaml/ocaml

• Use WinAPI concurrency primitives on Windows ports (remove winpthreads) by MisterDA · Pull Request #13416 · ocaml/ocaml

• Atomic record fields by clef-men · Pull Request #13404 · ocaml/ocaml

视频

• All the talk recordings from FUN OCaml 2024 in Berlin, September 16 + 17, 2024.
• [ICFP24] Oxidizing OCaml with Modal Memory Management
• [OCaml24] Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCaml
• [OCaml24] ChorCaml: Functional Choreographic Programming in OCaml
• [OCaml24] Saturn: a library of verified concurrent data structures for OCaml 5
• Beyond the Basics of LSP: Advanced IDE services for OCaml
• Why Terrateam chose OCaml
• A Crash Course in OCaml Modules • Tim McGilchrist • YOW! 2015
• Outreachy May 2024 Demo
• Octane: A Query Builder for OCaml

讨论

• What are the biggest reasons newcomers give up on OCaml?
• Do you use “return” to describe a function?
• OCaml Cycle detection and Garbage Collector
• Modeling Rust trait objects subtyping relation via OCaml polymorphic variants
• Ocamldebug using dune
• Typesafe SQL with Octane.ml

文章

• Using Map and ppx yojson

• Correct syntax to add compare ppx

• Tiny educational concurrent I/O and promises library

• Good example of handwritten Lexer + Recursive Descent Parser?

• [NEW PART] Pragmatic Category Theory: Part 2 published!

• Pragmatic Category Theory | Part 1: Semigroup Intro

• Pragmatic Category Theory | Part 2: Composing Semigroups

• Installing OCaml on a mac m1 mini

• « A Case for Feminism in Programming Language Design »

• A Case for Feminism in Programming Language Design.pdf

• Vdom 0.3 brings Elm-style decoders to OCaml

生态

• Re2ocaml regexp compiler

• Eliom 11.1: Towards Web Assembly support

• [ANN] New releases of Merlin and OCaml-LSP

• New release of baby

• babyis an OCaml library that offers persistent sets and maps based on balanced binary search trees. It offers replacements for OCaml’sSetandMapmodules.

• [ANN] Dune 3.17

• [ANN] Jsont 0.1.0 – Declarative JSON data manipulation for OCaml

• [ANN] Release of Saturn 1.0

  • Saturn is a collection of concurrent-safe data structures designed for OCaml 5.

• [ANN] Areas and Adversaries

• [ANN] Release of cppo 1.8.0

• [ANN] capnp-rpc 2.0

• [ANN] Advent of Code project template

• [ANN] Testo 0.1.0 - a new testing framework for OCaml

• [ANN] vdom 0.3: functional UI applications now with custom event handlers

• Visualizing dependencies between Ocaml modules

• [ANN] mariadb 1.2.0

• [ANN] New release of Monolith

• [ANN] First release of hachis

• [ANN] Liquidsoap 2.3.0

• [ANN] dream-html & pure-html 3.5.2

• [ANN] Js_of_ocaml 5.9.0

• [ANN] ppx_deriving_ezjsonm

• [ANN] smaws preview release, an AWS SDK for OCaml using eio

• [ANN] aws-s3 4.0.1

• First release of cmdlang

• [ANN] Eliom 11 and Ocsigen Start 7

• [ANN] Jane Street OCaml extensions – now with developer tooling!

亮点项目

• GitHub - tjdevries/octane.ml: The fastest, hottest
• Github - semgrep/testo: Test framework for OCaml
• GitHub - sim642/odep: Dependency graphs for OCaml modules, libraries and packages
• GitHub - LexiFi/ocaml-vdom: Elm architecture and (V)DOM for OCaml
• GitHub - ocaml-community/ocaml-mariadb: OCaml bindings to MariaDB, supporting the nonblocking API
• Monolith (monolith.Monolith): Monolith offers facilities for testing an OCaml library by comparing its implementation (known as the candidate implementation) against a reference implementation.