Linear Quantum Programming Language