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.

Tout est dans le titre

Tout est dans le titre

Tout est dans le titre