Ket quantum programming