9 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à.
Une fonction totale est une fonction qui termine et produit une valeur valide pour toute entrée de son domaine déclaré.
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...
L'article d'Alexis King, publié en 2019, a cristallisé une intuition que beaucoup de développeurs fonctionnels portaient sans nécessairement savoir l'articuler.
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.
Un isomorphisme entre deux types A et B est une paire de fonctions to : A → B et from : B → A telles que from(to(a)) = a et to(from(b)) = b pour toute valeur.
Au-delà du typage classique, certains systèmes permettent d'encoder des propriétés plus fines. Le compilateur devient alors un assistant de preuve, et permet de forcer des invariants métiers encore pl...
Greg Young, dans ses documents fondateurs sur CQRS, introduit une distinction éclairante entre deux styles d'interfaces.