A new quantum programming