OCaml Weekly News

The video is now uploaded on YouTube at: Ocaml | Editor Features

Ocsipersist has been recently updated.

Ocsipersist is an OCaml interface for key-value stores, with three implementations based on SQLite, DBM and PostgreSQL.

It proposes several interfaces: basic string to string tables, typed tables with custom (de)serialisation functions, persistent variables …

This new version 2.0.0, adds the following features:

• some dependencies removed
• Basic interface for persistent references, in the style of Eliom's scoped references (but without scope)

Example of use of persistent references from the toplevel, with the sqlite backend:

# #require "lwt_ppx";;
(* #thread;; if you are using OCaml < 5.0.0 *)
# #require "ocsipersist-sqlite";;
# Ocsipersist.init ();;
# let r = Ocsipersist.Ref.ref ~persistent:"r" 444;;
val r : int Ocsipersist.Ref.t = <abstr>
# Lwt_main.run (let%lwt v = Ocsipersist.Ref.get r in print_int v; Lwt.return_unit);;
444- : unit = ()

Backends: Choose the backend you prefer by using packages ocsipersist-sqlite, ocsipersist-dbm or ocsipersist-postgresql.

Configuration:

• Use module Ocsipersist_settings, provided by each backend to configure the database
• Opam packages ocsipersist-sqlite-config, ocsipersist-dbm-config or ocsipersist-postgresql-config make it possible to configure the backend from Ocsigen Server's config file (breaking change: this was provided by ocsipersist-sqlite, ocsipersist-dbm or ocsipersist-postgresql before. You'll need to update your configuration files).

I've released a small preview of a project I've been working on. It's bindings to the Godot 4.2 game engine from OCaml.

To keep this announcement short, I've posted a longer explanation on my blog:

https://fizzixnerd.com/blog/2024-06-24-announcing-godotcaml/

Here is the git repo:

https://github.com/Fizzixnerd/godotcaml

Here is another short blog post explaining how to get up and started with it:

https://fizzixnerd.com/blog/2024-06-28-godotcaml-basic-setup/

Do not expect much, I've basically just reached the point where Godot and OCaml can call each other. I just thought people might think it's cool! Open issues or discuss in this thread if you'd like; another blog post will be forthcoming covering the current structure of the code if there seems to be interest.

It is my pleasure to announce the release of Euler version 0.3. :slight_smile:

Euler is an arithmetic library for OCaml integers. For more details, please read the repo​’s README or browse the docs.

In version 0.3:

• some amount of optimization (:magic_wand: magic tricks to compute logarithms, see source code of log2sup and logsup);
• new functions (for instance: root extraction, multiplicative order);
• Arith.gcdext now returns minimal coefficients and avoids overflows (which was not trivial);
• factorization now performs some steps of Fermat’s factor searching, which I think closes the gap with Owl (mentioning this because @struktured had asked me how Euler compared with Owl, and Fermat’s algorithm was the only integer arithmetic operation that I found in Owl not provided by Euler).

The full list of changes is found in the changelog, in the repo.

Happy factorizing!

(This is a new topic because I cannot edit the initial one.)

We've released 3.15.3 (some time ago already) with the following changes:

3.15.3 (2024-05-24)

We're happy to announce the release of Dune 3.16.0.

Among the list of chances, this release contains improvements to melange support and a way to look for references in a whole project using merlin and ocaml-lsp.

3.16.0 (2024-06-17)

Here are links from many OCaml blogs aggregated at the ocaml.org blog.

• Creating the SyntaxDocumentation Command - Part 2: OCaml LSP
• Testing MirageVPN against OpenVPN™
• Enhancing the OCaml.org Community Page: Boosting UX and UI Based on User Research
• qubes-miragevpn, a MirageVPN client for QubesOS