Lambda Lille λ.remote 2 : Effets Algébriques & Irmin Database

Xavier Van de Woestyne

Effets Algébriques pour écrire de "vrais logiciels"

La programmation fonctionnelle est encore souvent perçue comme difficilement utilisable pour écrire de "vrais logiciels" : si tout doit être mathématiquement pur, comment effectuer un effet sur le monde exterieur ? Comment écrire dans une base de données, modifier un fichier ? On veut pouvoir "effectuer des effets". C'est en partie pour la gestion de ces effets que l'on pense que la programmation fonctionnelle n'est pas adaptée au monde réel.
Dans cette présentation, je vous propose de découvrir les effets algébriques, une fonctionnalité rare dans les langages mainstream comme OCaml et Haskell et ensuite, après avoir salivé... comment s'en passer en attendant que le futur devienne le présent.

=========

Thomas Haesslé

Irmin : Yet another KV database ?

Irmin est une base de donnée clé/valeur construite sur les mêmes principes que Git !
Un concept très intéressant pour historiser les données, les backup & restore ; mais également pour distribuer ses données.
Basée sur OCaml, elle permet la sérialisation/désérialisation des données automatique vers un système de type ML.
Portable (Linux, unikernel, web browser,...), agnostique du backend (git, file system, memoire, etc.), intégrant plusieurs serveurs prêt à l'emploi (REST, GraphQL, ...) et des librairies clientes pour javascript et go : Irmin est un système très flexible et rapide à mettre en oeuvre
Je vous propose un tour d'horizon pour vous donner envie de vous lancer.

==========

Meetup via Zoom (lien visible après inscription)