24646 shaares
46 liens privés
46 liens privés
L'auteur montre comment écrire un type en Closure, et comment ce type peut servir de contrainte / modèle. Cela lui permet de répondre aux critiques sur les langages dynamiquement typés concernant la vérification des types : le contrôle est plus fin dans ce cas.
