Pour résumer PostgreSQL permet d'ajouter une contrainte d'unicité sur une période donnée. Pratique pour être sûr de ne générer qu'une seule facture par client sur une période.

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.

Toujours la série d'articles sur l'architecture logicielle