[PropagandaDude]

> Maybe that doesn’t seem strange. It’s just how we’re used to functions working. Ah, those steeped in functional programming might say, but maybe this is the wrong way to look at it. Because if we curry functions and use partial application, we can say that they always have one argument and return one value, and then they are symmetric.

Ah, those steeped in functional programming might say, but maybe this is the wrong way to look at it. Because if we represent the represent the functions with explicit continuations, we can say that they have N arguments and pass N arguments to their continuations, and then they are symmetric.

It seems like this has fertile overlap with Scheme and the (concurrent computatation) Actor model.

Of course, I can imagine the Execution control library authors know full well about those, with existing C++ goals and designs making that a bridge too far.