Lambda Lille λ · remote 7 : Tagged and refined types & beers

Introduction aux "tagged and refined types" par Nicolas François

Les "Tagged and refined types", une approche sécurisée par conception, sont un bonheur de programmer. Cependant, leur utilisation peut être difficile à comprendre pour les néophytes.
Cette session vise à expliquer comment les utiliser. Nous récapitulerons ce qu'est la sécurité du code et comment les "Tagged and refined types" y contribuent.

---

Exceptionnellement il n'y aura qu'un seul talk afin que l'on puisse prendre un verre virtuel et discuter ensemble

Lien Zoom disponible après inscription
Code invitation : 645005