A functional quantum programming language | AbS