La coinduction : penser à l'infini sans jamais finir

Et si on construisait des structures qui n'ont pas de fin ? La coinduction est la face cachée de l'induction : au lieu de décomposer du bas vers le haut, elle décompose du haut vers le bas, infiniment. Elle génère des structures de données infinies comme les flux — des rivières de données qui coulent sans s'arrêter. Tandis que l'induction crée des arbres finis, la coinduction crée des mondes sans frontière. Utilisée pour spécifier et vérifier des systèmes qui tournent indéfiniment, elle révèle comment les comportements infinis peuvent être domptés et compris.