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.
