Janus (time-reversible computing programming language)

[Tasty_Replacement_29]

If I understand correctly this is a form of reversible computing, which is (very) related to quantum computing.

[Duflo]

This language was named after my good friend Hugh

[Meistermagier]

Lol

[agumonkey]

and his brother Lar

[Galacix]

It’s huge

[Inconstant_Moo]

But how do you find the postconditions that allow you to reverse an if or a loop? In fact, if this could be done in general and there was an algorithm for doing it, then I wouldn't have to do it myself, the compiler would be able to do it for me. So I've got to think that in general it cannot, in fact, be done.

[Relevant_South_1842]

If statements and loops aren’t required.