Schrödinger is a programming language, inspired by a Twitter joke: https://twitter.com/nicklockwood/status/425337273014816768
The Schrödinger language is C-like, but features only one primitive type, Cat, which can have one of two values, Dead or Alive.
You cannot assign values to a Cat, you can only ask what value it has. The value is determined randomly at the point of inspection but remains fixed from that point on. In that sense, a Cat is not so much a variable as a constant with a random value.
Here is some sample code:
Cat muffin;
if (muffin is Alive)