Des types au top (2) (fr)

Après ce premier article sur les types, découvrons maintenant les possibilités plus avancées d’un système de types : du type unitaire aux dependents types, tout en passant par les phantom types, voyons ensemble leurs avantages !