Confluence means that the order of performing various subcomputations doesn’t matter so long as they all finish: in the expression (2 + 5) * (3 + 6), it doesn’t matter which addition you do first or whether you distribute the expressions over each other; the answer is the same.
The example of confluence in lambda calculus is beta reduction, and this is the most pure function similar formal idea I can find
Confluence means that the order of performing various subcomputations doesn’t matter so long as they all finish: in the expression
(2 + 5) * (3 + 6)
, it doesn’t matter which addition you do first or whether you distribute the expressions over each other; the answer is the same.The example of confluence in lambda calculus is beta reduction, and this is the most pure function similar formal idea I can find