OCaml Weekly News

Hello

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

HOL Light released to OPAM

Archive: https://discuss.ocaml.org/t/ann-hol-light-released-to-opam/154= 88/1

Juneyoung Lee announced

The HOL Light interactive theorem prover written by John Harrison is releas= ed 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 O= Caml REPL that enables interactive theorem proving. Combined with a VSCode = plugin for HOL Light, this gives a nice theorem proving experience..! For m= ore 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 ca= lculators?

Archive: https://discuss.ocaml= .org/t/could-we-add-a-tiny-ocaml-interpreter-to-numworks-graphical-calculat= ors/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 par= t 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.

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 peop= le 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 lea= ds to opam output that tries to fit itself into 80 columns regardless of th= e 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 y= ou can take a look at the release note or the changelog.

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/insta=
ll.ps1) } -Version 2.3.0~beta2"

Please report any issues to the bug-tracker.

Editors dev-meeting #4, Thu. 31th: Search by type =C3=A0 la Sh= erlodoc =F0=9F=95=B5=EF=B8=8F

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 pa= sser-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 envir= onment with a syntax similar as the one of the amazing Sherlodoc.

3D"2616c436ecefc=

: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 mention= ed during the tour-de-table.

We=E2=80=99re 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=E2=80=99s repository wiki = .

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, Octobe= r, 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 c= urious, 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 a= nd synchronise between the Dune developers :speech_balloon:=20=20

:calendar: Agenda

The agenda is available on the meeting dedicated page. Feel free to ask if y= ou want to add more items in it.

:computer: Links

Meeting link: zoom
Calendar event: google calendar

Wiki with information and previous notes: GitHub Wiki

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 c= ompletion 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 runnin= g a version of Dune installed with Opam or your system package manager afte= r 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 sugge= st local files rather than build targets.

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.

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 loo= k at the archive or the <= a href=3D"https://alan.petitepomme.net/cwn/cwn.rss">RSS feed of the archive= s.

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

Alan Schmitt