The trivial way to unify all camps is to view it from the lens of expressionism/self-expression. Mathematicians want to express equational reasoning/identities

The trivial way to unify all camps is to view it from the lens of expressionism/self-expression. Mathematicians want to express equational reasoning/identities. Computer scientists want to express computations. Translation/bridging the gap will be a whole lot easier when both camps answered the trivial 'Why?' question which contextualises the reason for doing whatever it is that you are doing. People without shared goals have the tendency to speak right past each other.