OCaml Weekly News
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
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?
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.
opam 2.3.0~beta2
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.
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.
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.
: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 .
Dune dev meeting
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.
:computer: Links
- Meeting link: zoom
- Calendar event: google calendar
Wiki with information and previous notes: GitHub Wiki
Shell Completions in Dune Developer Preview
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.
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 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.