Name: Meetup de Mai 2022
Start: 2022-05-12T19:00:00+02:00
End: 2022-05-12T21:00:00+02:00
Location: IRILL (site Jussieu 15-16 101)

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](https://www.meetup.com/fr-FR/ocaml-paris).
Les exposés seront également retransmis en ligne sur [le galène du OUPS](https://galene.org:8443/group/irill/oups/).

Toutes les informations sont disponibles sur [le site du oups](https://oups.frama.io).

J'aimerais aussi signaler que les slides et vidéos des exposés passés [sont maintenant disponibles](https://oups.frama.io/past.html) ! :partying_face:

Programme :

\-\-\-

\#\#\# 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](https://ocaml-gospel.github.io/gospel/) !

ortac: OCaml Runtime Assertion Checking.

\#\#\# 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: A tasty taste of Tezt tests \- 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.

\-\-\-
Les présentations seront suivies par des discussions libres - avec des pizzas ! Merci à notre sponsor LambdaNantes. Suivez-les sur twitter: @LambdaNantes !

[LambdaNantes](https://mobilizon.fr/@lambdanantes) est une collection d'évènements (récurrents) qui s'intéressent à l'utilisation des langages "dit Applicatifs" (ou fonctionnels) à Nantes.

crozet

Basile Pesin

Loïc Sylvestre

OCaml Users in PariS (OUPS)

Technology

OCaml Programming

Programming Languages

Functional Programming

Type Systems

Machine Learning

Compilers

Software Development

Computer Programming

Meetup de Mai 2022

IRILL (site Jussieu 15-16 101) 

Partager

OCaml Users in PariS (OUPS)

Meetup de Mai 2022

OCaml Users in PariS (OUPS)

Détails

Les membres s'intéressent également à