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.
