Hello

Here is the latest OCaml Weekly News, for the week of June 25 to July
02, 2024.

Table of Contents
─────────────────

OCaml Tech Talk | Editor Features
New release of Ocsipersist
Preview of Godotcaml for the Godot 4.2 Game Engine
euler 0.3
dune 3.15
dune 3.16
Other OCaml News
Old CWN


OCaml Tech Talk | Editor Features
═════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/ann-ocaml-tech-talk-editor-features/14746/5>


Continuing this thread, PizieDust announced
───────────────────────────────────────────

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


[Ocaml | Editor Features] <https://youtu.be/I-e3qzPzzuI>


New release of Ocsipersist
══════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/ann-new-release-of-ocsipersist/14874/1>


Vincent Balat announced
───────────────────────

  [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).


[Ocsipersist] <https://ocsigen.org/ocsipersist/>

[scoped references]
<https://ocsigen.org/eliom/latest/api/server/Eliom_reference>


Preview of Godotcaml for the Godot 4.2 Game Engine
══════════════════════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/ann-preview-of-godotcaml-for-the-godot-4-2-game-engine/14875/1>


Matt Walker announced
─────────────────────

  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.


euler 0.3
═════════

  Archive: <https://discuss.ocaml.org/t/ann-euler-0-3/14877/1>


glen announced
──────────────

  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].)


[the repo] <https://github.com/gmevel/euler-lib>

[the docs]
<https://gmevel.github.io/euler-lib/index.html/euler/Euler/index.html>

[`log2sup']
<https://github.com/gmevel/euler-lib/blob/0.3/src/Arith.ml#L621-L695>

[`logsup']
<https://github.com/gmevel/euler-lib/blob/0.3/src/Arith.ml#L697-L750>

[not trivial]
<https://github.com/gmevel/euler-lib/blob/0.3/src/Arith.ml#L1390-L1514>

[Owl] <https://github.com/owlbarn/owl>

[had asked me]
<https://discuss.ocaml.org/t/ann-euler-an-arithmetic-library-for-native-integers/12482/9>

[the initial one]
<https://discuss.ocaml.org/t/ann-euler-an-arithmetic-library-for-native-integers/12482>


dune 3.15
═════════

  Archive: <https://discuss.ocaml.org/t/ann-dune-3-15/14438/4>


Etienne Millon announced
────────────────────────

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

  *3.15.3 (2024-05-24)*


Fixed
╌╌╌╌╌

  • Fix interpretation of `exists_if' predicate in `META' files of
    installed libraries containing more than one element. (#10564, fixes
    #10563, @dbuenzli, @nojb)

  • Fix TSAN warning in wait4 stubs (#10554, fixes #10553, @emillon)


dune 3.16
═════════

  Archive: <https://discuss.ocaml.org/t/ann-dune-3-16/14889/1>


Etienne Millon announced
────────────────────────

  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)*


Added
╌╌╌╌╌

  • allow libraries with the same `(name ..)' in projects as long as
    they don't conflict during resolution (via `enabled_if'). (#10307,
    @anmonteiro, @jchavarri)

  • `dune describe pp' now finds the exact module and the stanza it
    belongs to, instead of guessing the name of the preprocessed
    file. (#10321, @anmonteiro)

  • Print the result of `dune describe pp' with the respective dialect
    printer. (#10322, @anmonteiro)

  • Add new flag `--context' to `dune ocaml-merlin', which allows to
    select a Dune context when requesting Merlin config. Add `dune
    describe contexts' subcommand. Introduce a field
    `generate_merlin_rules' for contexts declared in the workspace, that
    allows to optionally produce Merlin rules for other contexts besides
    the one selected for Merlin (#10324, @jchavarri)

  • melange: add include paths for private library `.cmj' files during
    JS emission. (#10416, @anmonteiro)

  • `dune ocaml-merlin': communicate additional directives
    `SOURCE_ROOT', `UNIT_NAME' (the actual name with wrapping) and
    `INDEX' with the paths to the index(es). (#10422, @voodoos)

  • Add a new alias `@ocaml-index' that uses the `ocaml-index' binary to
    generate indexes that can be read by tools such as Merlin to provide
    project-wide references search. (#10422, @voodoos)

  • merlin: add optional `(merlin_reader CMD)' construct to `(dialect)'
    stanza to configure a merlin reader (#8567, @andreypopp)


Changed
╌╌╌╌╌╌╌

  • melange: treat private libraries with `(package ..)' as public
    libraries, fixing an issue where `import' paths were wrongly
    emitted. (#10415, @anmonteiro)

  • install `.glob' files for Coq theories too (#10602, @ejgallego)


Fixed
╌╌╌╌╌

  • Don't try to document non-existent libraries in doc-new target
    (#10319, fixes #10056, @jonludlam)

  • Make `dune-site''s `load_all' function look for `META' files so that
    it doesn't fail on empty directories in the plugin directory
    (#10458, fixes #10457, @shym)

  • Fix incorrect warning for libraries defined inside non-existant
    directories using `(subdir ..)' and used by executables using
    `dune-build-info' (#10525, @rgrinberg)

  • Don't try to take build lock when running `coq top --no-build'
    (#10547, fixes #7671, @lzy0505)

  • Make sure to truncate dune's lock file after locking and unlocking
    so that users cannot observe incorrect pid's (#10575, @rgrinberg)

  • mdx: link mdx binary with `byte_complete'. This fixes `(libraries)'
    with foreign archives on Linux. (#10586, fixes #10582, @anmonteiro)

  • virtual libraries: fix an issue where linking an executable
    involving several virtual libries would cause an error. (#10581,
    fixes #10460, @rgrinberg)


Other OCaml News
════════════════

From the ocaml.org blog
───────────────────────

  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]


[the ocaml.org blog] <https://ocaml.org/blog/>

[Creating the SyntaxDocumentation Command - Part 2: OCaml LSP]
<https://tarides.com/blog/2024-07-12-creating-the-syntaxdocumentation-command-part-2-ocaml-lsp>

[Testing MirageVPN against OpenVPN™]
<https://blog.robur.coop/articles/miragevpn-testing.html>

[Enhancing the OCaml.org Community Page: Boosting UX and UI Based on
User Research]
<https://tarides.com/blog/2024-06-26-enhancing-the-ocaml-org-community-page-boosting-ux-and-ui-based-on-user-research>

[qubes-miragevpn, a MirageVPN client for QubesOS]
<https://blog.robur.coop/articles/qubes-miragevpn.html>


Old CWN
═══════

  If you happen to miss a CWN, you can [send me a message] and I'll mail
  it to you, or go take a look at [the archive] or the [RSS feed of the
  archives].

  If you also wish to receive it every week by mail, you may subscribe
  to the [caml-list].

  [Alan Schmitt]


[send me a message] <mailto:alan.schmitt@polytechnique.org>

[the archive] <https://alan.petitepomme.net/cwn/>

[RSS feed of the archives] <https://alan.petitepomme.net/cwn/cwn.rss>

[caml-list] <https://sympa.inria.fr/sympa/info/caml-list>

[Alan Schmitt] <https://alan.petitepomme.net/>