CRDT (base de données)
Conflict-free Replicated Data Type — un type de données conçu pour que des modifications concurrentes sur des réplicas différents puissent toujours être fusionnées automatiquement en un même résultat, quel que soit l'ordre. Il permet une collaboration sans conflit et le hors-ligne d'abord (offline-first) sans serveur central.
L'idée : plutôt que de détecter et de résoudre les conflits après coup, on construit le type de données pour que l'opération de fusion soit commutative, associative et idempotente → tous les réplicas convergent, avec une garantie mathématique, vers le même état. Exemples : le G-Counter (un compteur croissant), l'OR-Set (un ensemble avec ajout et retrait) et les CRDT de séquence pour le texte. On les trouve dans les éditeurs collaboratifs (Figma, Apple Notes ; Yjs et Automerge permettent une édition à la Google Docs sans résolution centrale des conflits), les bases distribuées (Riak, Redis Enterprise) et les applications local-first. Contrepartie : davantage de mémoire et de métadonnées (il faut garder l'historique), et tous les problèmes ne se coulent pas dans un CRDT. Un sujet brûlant du mouvement « local-first ».