The Air programming language is an experimental programming language. Its main goals are universality and optimality.