4 articles
← Retour aux tagsLa théorie des types algébriques nous offre une correspondance élégante entre les structures de données et l'arithmétique élémentaire.
Les types de données algébriques (ADT, pour algebraic data types) constituent le socle de la modélisation dans les langages fonctionnels typés, et leur influence s'étend désormais bien au-delà.
Cette phrase, popularisée par Yaron Minsky dans le contexte d'OCaml capture l'essence même d'une approche défensive de la modélisation : plutôt que de vérifier a posteriori qu'un état est valide, on s...
Un agrégat en Domain-Driven Design est fondamentalement un gardien d'invariants : il encapsule un cluster d'entités et de value objects dont la cohérence doit être maintenue à chaque transaction.