[Caml-list] Attn: Development Editor, Latest OCaml Weekly News

Alan Schmitt
2024-10-29T13:31:29Z

[-- Attachment #1: Type: text/plain, Size: 11292 bytes --]

Hello

Here is the latest OCaml Weekly News, for the week of October 22 to 29,
2024.

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

HOL Light released to OPAM
Could we add a tiny OCaml interpreter to Numworks graphical calculators?
opam 2.3.0~beta2
Editors dev-meeting #4, Thu. 31th: Search by type à la Sherlodoc 🕵️
Dune dev meeting
Shell Completions in Dune Developer Preview
Other OCaml News
Old CWN

HOL Light released to OPAM
══════════════════════════

Archive:
<https://discuss.ocaml.org/t/ann-hol-light-released-to-opam/15488/1>

Juneyoung Lee announced
───────────────────────

The HOL Light interactive theorem prover written by John Harrison is
released to OPAM as a package. Its first new version available on OPAM
is 3.0. It now provides `hol.sh' which is a script that will launch
an OCaml REPL that enables interactive theorem proving. Combined with
a VSCode plugin for HOL Light, this gives a nice theorem proving
experience..! For more details, please visit:
• The website: <https://hol-light.github.io/>
• The main repo: <https://github.com/jrh13/hol-light/>

Could we add a tiny OCaml interpreter to Numworks graphical calculators?
════════════════════════════════════════════════════════════════════════

Archive:
<https://discuss.ocaml.org/t/could-we-add-a-tiny-ocaml-interpreter-to-numworks-graphical-calculators/7652/14>

Deep in this thread, Lilian Besson announced
────────────────────────────────────────────

So after a few hours of work, we've successfully ported the OMicroB
Virtual Machine for OCaml to the Numworks calculator :tada: ! See
[this part of our discussion on GitHub], if anyone is curious.

But we're far away from being done! Indeed, I want to be able to
interpret *on the calculator* some OCaml line of code / or entire
file. I know it's probably going to be hard, if not entirely
impossible, but hey we've at least progressed a bit in this direction!
Thanks @borisd again for the suggestion! @Vertmo is helping me on
this issue, thanks to him.

[this part of our discussion on GitHub]
<https://github.com/stevenvar/OMicroB/issues/36#issuecomment-2432041168>

opam 2.3.0~beta2
════════════════

Archive: <https://discuss.ocaml.org/t/ann-opam-2-3-0-beta2/15496/1>

Kate announced
──────────────

We're happy to announce the second beta release of opam 2.3.0.

As we're closing on the final release of opam 2.3.0, we'd be happy for
people to test this beta and report any regression.

What's new?
╌╌╌╌╌╌╌╌╌╌╌

This release consists mostly in one regression fix compared to
2.3.0~beta1:

• Fix a regression in the detection of the current terminal size that
leads to opam output that tries to fit itself into 80 columns
regardless of the current terminal size ([#6243])

A couple of other improvements were made. :open_book: You can read
our [blog post] for more information, and for even more details you
can take a look at the [release note] or the [changelog].

[#6243] <https://github.com/ocaml/opam/issues/6243>

[blog post] <https://opam.ocaml.org/blog/opam-2-3-0-beta2/>

[release note] <https://github.com/ocaml/opam/releases/tag/2.3.0-beta2>

[changelog] <https://github.com/ocaml/opam/blob/2.3.0-beta2/CHANGES>

Try it!
╌╌╌╌╌╌╌

The upgrade instructions are pretty much the same:

For Unix systems
┌────
│ bash -c "sh <(curl -fsSL https://opam.ocaml.org/install.sh) --version 2.3.0~beta2"
└────
or from PowerShell for Windows systems
┌────
│ Invoke-Expression "& { $(Invoke-RestMethod https://opam.ocaml.org/install.ps1) } -Version 2.3.0~beta2"
└────

Please report any issues to [the bug-tracker].

[the bug-tracker] <https://github.com/ocaml/opam/issues>

Editors dev-meeting #4, Thu. 31th: Search by type à la Sherlodoc 🕵️
══════════════════════════════════════════════════════════════════

Archive:
<https://discuss.ocaml.org/t/ann-editors-dev-meeting-4-thu-31th-search-by-type-a-la-sherlodoc/15507/1>

vds announced
─────────────

We are organizing the next public dev-meeting on next Thursday, the
31th of October at 5pm CEST (we have a local speaker). Whether you are
a long time maintainer, an occasional contributor, a new comer, or
simply a curious passer-by, please feel free to attend!

:sparkles: For this session, @xvw is going to present a new Merlin
feature: an alternative to polarity search that can search for values
in the environment with a syntax similar as the one of the amazing
[Sherlodoc].

<https://global.discourse-cdn.com/flex020/uploads/ocaml/original/2X/2/2616c436ecefca9526d1f8bc5d106faa90c5219a.gif>

:clipboard: Meeting agenda:

• A tour-de-table to allow the participants that wish to do so to
present themselves and mention issues / prs they are interested in.
• Talk and Q&A
• Discuss issues and pull requests that were tagged in advance or
mentioned during the tour-de-table.

We’re looking forward to meeting you!

Meeting link:
[meet.google.com/ncb-mnmp-kmk](meet.google.com/ncb-mnmp-kmk)

Previous meeting notes are available in [Merlin’s repository wiki ].

[Sherlodoc] <https://doc.sherlocode.com/>

[Merlin’s repository wiki ]
<https://github.com/ocaml/merlin/wiki/Public-dev%E2%80%90meetings>

Dune dev meeting
════════════════

Archive: <https://discuss.ocaml.org/t/ann-dune-dev-meeting/14994/15>

Etienne Marais announced
────────────────────────

We will hold our regular Dune dev meeting tomorrow, on *Wednesday,
October, 30th at 16:00 CET.* As usual, the session will be one hour
long.

Whether you are a maintainer, a regular contributor, a new joiner or
just curious, you are welcome to join: these discussions are opened!
The goal of these meetings is to provide a place to discuss the
ongoing work together and synchronise between the Dune developers
:speech_balloon:

:calendar: Agenda
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

The agenda is available on the[ meeting dedicated page]. Feel free to
ask if you want to add more items in it.

[ meeting dedicated page]
<https://github.com/ocaml/dune/wiki/dev-meeting-2024-10-30>

:computer: Links
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

• Meeting link:[ zoom]
• Calendar event:[ google calendar]

Wiki with information and previous notes:[ GitHub Wiki]

[ zoom]
<https://us06web.zoom.us/j/85096877776?pwd=cWNhU1dHQ1ZNSjZuOUZCQ0h2by9Udz09>

[ google calendar]
<https://calendar.google.com/calendar/embed?src=c_5cd698df6784e385b1cdcdc1dbca18c061faa96959a04781566d304dc9ec7319%40group.calendar.google.com>

[ GitHub Wiki] <https://github.com/ocaml/dune/wiki#dev-meetings>

Shell Completions in Dune Developer Preview
═══════════════════════════════════════════

Archive:
<https://discuss.ocaml.org/t/shell-completions-in-dune-developer-preview/15522/1>

Steve Sherratt announced
────────────────────────

Support for dune shell completions for bash and zsh has just landed in
the [Dune Developer Preview]!

Running the [installer] adds a snippet to your shell config
(e.g. `/.bashrc) that installs a completion handler for ~dune'. The
completion script was taken from [here], and that page has some
information about how the script was generated. Once it's installed
the completions will work any time `dune' is typed at the start of a
command, so you can still use the completions when running a version
of Dune installed with Opam or your system package manager after
installing the Dune Developer Preview.

Currently only command completions are supported. So you can run:
┌────
│ $ dune c<TAB>
│ cache clean coq
└────

…or:
┌────
│ $ dune build -<TAB>
│ --action-stderr-on-success
│ --action-stdout-on-success
│ --always-show-command-line
│ --auto-promote
│ --build-dir
│ --build-info
│ --cache
│ ...
└────

But if you run `dune build <TAB>' then it will still suggest local
files rather than build targets.

[Dune Developer Preview] <https://preview.dune.build/>

[installer] <https://preview.dune.build/#download>

[here] <https://github.com/gridbugs/dune-completion-scripts>

Try it out!
╌╌╌╌╌╌╌╌╌╌╌

Getting started is easy:

┌────
│ $ curl -fsSL https://get.dune.build/install | sh
│ $ source ~/.bashrc # or: ~source ~/.zshrc~ or just restart your shell
│ $ dune <TAB>
│ build
│ cache
│ clean
│ coq
│ describe
│ diagnostics
│ exec
│ ...
└────

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

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

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

• [Meet DNSvizor: run your own DHCP and DNS MirageOS unikernel]
• [Looking Back on our Experience at ICFP!]
• [Runtime arguments in MirageOS]
• [How has robur financially been doing since 2018?]

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

[Meet DNSvizor: run your own DHCP and DNS MirageOS unikernel]
<https://blog.robur.coop/articles/dnsvizor01.html>

[Looking Back on our Experience at ICFP!]
<https://tarides.com/blog/2024-10-23-looking-back-on-our-experience-at-icfp>

[Runtime arguments in MirageOS]
<https://blog.robur.coop/articles/arguments.html>

[How has robur financially been doing since 2018?]
<https://blog.robur.coop/articles/finances.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/>

[-- Attachment #2: Type: text/html, Size: 22074 bytes --]