a programming language used for quantum simulation