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

Alan Schmitt
2022-04-26T06:44:37Z

[-- Attachment #1.1: Type: text/plain, Size: 9882 bytes --]

Hello

Here is the latest OCaml Weekly News, for the week of April 19 to 26,
2022.

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

Multicore OCaml: March 2022
OUPS meetup may 2022 (french only)
JFLA 2022: Call for Participation (in French)
Old CWN

Multicore OCaml: March 2022
═══════════════════════════

Archive:
<https://discuss.ocaml.org/t/multicore-ocaml-march-2022/9692/1>

Anil Madhavapeddy announced
───────────────────────────

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./

[Multicore OCaml] <https://github.com/ocaml-multicore/ocaml-multicore>

[previous updates] <https://discuss.ocaml.org/tag/multicore-monthly>

[memory model tests for ARMv8 and Power ports]
<https://github.com/ocaml/ocaml/pull/11004>

[effects tutorial] <https://github.com/ocaml/ocaml/pull/11093>

OUPS meetup may 2022 (french only)
══════════════════════════════════

Archive:
<https://discuss.ocaml.org/t/oups-meetup-may-2022-french-only/9715/1>

zapashcanon announced
─────────────────────

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*

[meetup] <https://www.meetup.com/fr-FR/ocaml-paris>

[le site du oups] <https://oups.frama.io>

[sont maintenant disponibles] <https://oups.frama.io/past.html>

Gospel & Ortac - Clément Pascutto
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

Gospel is a behavioural specification language for OCaml program. It
provides developers with a non-invasive and easy-to-use syntax to
annotate their module interfaces with formal contracts that describe
type invariants, mutability, function pre-conditions and
post-conditions, effects, exceptions, and [much more]!

ortac: OCaml Runtime Assertion Checking.

[much more] <https://ocaml-gospel.github.io/gospel/>

MirageOS 4 - Romain Calascibetta
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

MirageOS 4 vient de sortir récemment et c'est l'occasion de
(re)présenter ce projet permettant de construire des unikernels. Nous
y présenterons les nouvelles features et possibilités et nous ferons
une introspection de 3 ans de travail de l'équipe core.

Tezt: OCaml Tezos Test Framework - Romain Bardou
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

Tezt is a test framework for OCaml. It is well suited for unit and
regression tests and particularly shines for integration tests,
i.e. tests that launch external processes. It was made with a focus on
user experience. It allows you to easily select tests from the
command-line and provides pretty logs. It also can run tests in
parallel, automatically split the set of tests into several
well-balanced batches to be run in parellel CI jobs, produce JUnit
outputs, and more. It has been in use at Nomadic for the last 2 years
and is thus quite battle-tested.

JFLA 2022: Call for Participation (in French)
═════════════════════════════════════════════

Archive:
<https://sympa.inria.fr/sympa/arc/caml-list/2022-04/msg00008.html>

Timothy Bourke announced
────────────────────────

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

Dates importantes
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

• 17 juin 2022 : date limite d'inscription aux journées
• 28 juin au 1er juillet 2022 : journées

Cours invités
╌╌╌╌╌╌╌╌╌╌╌╌╌

• Delphine Demange (IRISA, Université de Rennes 1) "Si2-FIP:
Programmation Fonctionnelle en Licence 1 avec Scala"

• Denis Mérigoux (Inria) "Rust pour le formaliste impatient"

Exposé invité
╌╌╌╌╌╌╌╌╌╌╌╌╌

• Matthias Puech (INA GRM) Titre à venir - avec une surprise !

Articles acceptés
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

L'ensemble des articles acceptés est disponible sous forme d'une
collection HAL : <https://hal.inria.fr/JFLA2022>

Comité de programme
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

• Chantal Keller LMF, Université Paris-Saclay (Présidente)
• Timothy Bourke Inria, ÉNS de Paris (Vice-président)

• Sandrine Blazy Irisa, Université Rennes 1
• Frédéric Bour Tarides - Inria
• Guillaume Bury OcamlPro
• Stefania Dumbrava Samovar, ENSIIE, Télécom Sud Paris
• Diane Gallois-Wong Nomadic Labs
• Adrien Guatto IRIF, Université de Paris
• David Janin LaBRI, Université de Bordeaux
• Marie Kerjean LIPN, Université Paris 13
• Luc Pellissier LACL, Université Paris-Est Créteil
• Mário Pereira NOVA-LINCS, Universidade Nova de Lisboa
• Alix Trieu Aarhus University
• Yannick Zakowski LIP, Inria, ÉNS de Lyon

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
[online].

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

[online] <http://lists.idyll.org/listinfo/caml-news-weekly/>

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

[-- Attachment #1.2: Type: text/html, Size: 20509 bytes --]

[-- Attachment #2: Type: text/plain, Size: 119 bytes --]

Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'INRIA.