Lambda Lille λ.remote 4 : MirageOS & GADT

Le lambda remote revient avec deux nouveaux talks exceptionnels présentés par des speakers exceptionnels :)
Au programme : ADT/GADT #Scala et Unikernels/MirageOS #OCaml

----
ADT/GADT par Nicolas Rinaudo - @NicolasRinaudo

Abstract :

Les types de données algébriques sont un outil très simple mais très puissant à utiliser lors de la conception de systèmes. La plupart des développeurs les connaissent, ou leurs sous-ensembles dénommés ADT (énumérations ou enregistrements, par exemple).
Le but de ce talk est de clarifier ce que sont les ADT, quelles sont leurs propriétés et comment ces propriétés peuvent être utilisées pour exprimer des invariants forts au niveau des données - comme rendre les états illégaux ou les transitions d'états impossibles à représenter.
Il explore également la forme généralisée des ADT - GADT - et tente de lever une partie de la confusion qui les entoure dans la communauté Scala.
Nous aborderons également (légèrement) la théorie derrière eux et essayerons de comprendre d'où vient la partie «algébrique» du nom.
À la fin de la conférence, les participants devraient avoir une solide intuition du moment et de la façon de les utiliser, et être en mesure de les amener à utiliser directement dans leurs propres projets.

----

MirageOS par Romain Calascibetta @Dinoosaure

Abstract :

MirageOS est un projet en OCaml voulant être un ensemble d’outils et librairies pour créer un unikernel. Un unikernel est un système d’exploitation minimal qui ne se compose uniquement que de l’application final voulu.
Dans cette présentation, nous allons voir comment faire un unikernel tel qu’un simple site internet et présenter succinctement quelques librairies développées dans le cadre de MirageOS (et utilisées par de plus larges projets).