A interesting subject under this is reversible programming languages, there is for example Janus [0], which given some input program can generate the inverse, i

A interesting subject under this is reversible programming languages, there is for example Janus [0], which given some input program can generate the inverse, it can also generate C++ code with both directions. [0]: https://en.m.wikipedia.org/wiki/Janus_(time-reversible_computing_programming_language) https://en.m.wikipedia.org/wiki/Janus_(time-reversible_compu...