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 !
Programme :
Gospel & Ortac - Clément Pascutto @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.
MirageOS 4 - Romain Calascibetta @dinosaure
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 @rbardou
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.