Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
@yarns that notation means "emulate what other disco players do for anything that isn't written down" - like when to play notes outside/around a strict metronomic beat, and what notes to emphasize. In other words, create a disco "groove."
"If I would say mix multiple finished songs to be played in parallel tracks, the output likely will not sound like any music." - for what it's worth, renowned composers have done almost exactly that. See for example Charles Ives, who was inspired by childhood experiences of hearing multiple marching bands play at the same time: youtube.com/watch?v=niUXRKdpeZ0&t=520s
The analogy with sports games is interesting, because sports games aren't necessarily worse versions of the sports they're inspired by - they're different skills that have the potential to be just as deep and satisfying for different reasons. (Whether certain games reach that potential is arguable, but beside the point.) Similarly, writing music using a computer isn't a worse version of playing an instrument - it's a different activity that tests a different set of skills.
piggybacking off of @piiperiReinstateMonica - music theory is based off of music, not the other way around. While you can certainly use theory as a creative jumping off point, the only actual rule that music has to follow is that people like it or find it interesting.
An observation - the two usages you bring up in the edit are more like assignment (like in programming) than equality, while enharmonic equivalence is a similarity relationship. I don't think that invalidates the point you make about conversion to English, but it does bring up an argument for introducing a different symbol for enharmonic equivalence since it has different semantics than the current usages.