OCaml Weekly News

Welcome to the March 2022 Multicore OCaml monthly report! This update along with the previous updates have been compiled by me, @ctk21, @kayceesrk and @shakthimaan.

We have continued steadily towards making a stable OCaml 5.0 release, as you can see from the long list of fixes later – thank you for all your contributions! Platform configurations that were formerly supported in the 4.x branches for OpenBSD, FreeBSD, and NetBSD have now been re-enabled. ARM64 support (for macOS, Linux and the BSDs) is stable in trunk, and ARM CFI integration has been merged as a follow-up to facilitate debugging and profiling. Notably, this also includes memory model tests for ARMv8 and Power ports. The Windows mingw64 port is also working again in trunk.

An effects tutorial has also been contributed to the OCaml manual; feedback continues to be welcome even after it's merged in. As you experiment with effects, please do continue to post to this forum with questions or comments about your learnings.

The Sandmark benchmark project has added bytecode analysis to address any performance regressions. We have also been working on obtaining measurements for the compilation data points. The current-bench pipeline production deployments has significant UI changes, and now has alert notifications for the benchmark runs.

As always, the Multicore OCaml open and completed tasks are listed first, which are then followed by the ecosystem tooling projects. The Sandmark, sandmark-nightly, and current-bench project updates are finally presented for your reference.

Editor’s note: please find the full changelog following the archive link above.

Le prochain OUPS aura lieu le jeudi 12 mai 2022. Le rendez-vous est fixé à 19h en salle 15-16 101 , 4 place Jussieu , 75005 Paris.

L'inscription est obligatoire pour pouvoir accéder au meetup ! Votre nom complet doit être disponible. L'inscription s'effectue sur meetup.

Toutes les informations sont disponibles sur le site du oups.

J'aimerais aussi signaler que les slides et vidéos des exposés passés sont maintenant disponibles ! :partying_face:

Programme

[ This message is intentionally written in French. It is a call for participation for the "Francophone Days on Functional Languages" to be held, finally and fingers crossed, at the end of June. Some of the articles are written in English. They are available online: https://hal.inria.fr/JFLA2022/ ]

Merci de faire circuler : premier appel à participation

JFLA'2022 (http://jfla.inria.fr/jfla2022.html)

Journées Francophones des Langages Applicatifs

Saint-Médard-d'Excideuil - du 28 juin au 1er juillet 2022

Les inscriptions aux JFLA 2022 - en présence ! - sont désormais ouvertes :

https://www.azur-colloque.fr/DR04/inscription/preinscription/203/fr

Ces journées réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, de la vérification de programmes, et des objets mathématiques qui sous-tendent ces outils. Ces domaines doivent être pris au sens large : nous souhaitons promouvoir les ponts entre les différentes thématiques.

L'inscription est un forfait qui comprend notamment l'hébergement en pension complète sur le site des journées :

• participant·e plein tarif, chambre simple : 660 euros
• étudiant·e orateur·ice, en chambre double : 0 euro

Nous espérons que vous serez nombreux à participer à ces journées. Inscrivez-vous dès que possible ! En particulier, les étudiant·es orateur·ices sont invité·es à s'inscrire, même s'ils ne paient pas grâce à nos sponsors.

Vous pouvez d'ores et déjà vous inscrire au salon de discussion framateam afin d'échanger ensemble : https://framateam.org/signup_user_complete/?id=gnbebtncubnbpe96ok9kam8t9y

Tout le programme est à retrouver ici : http://jfla.inria.fr/jfla2022.html