The A Programming Language