Probabilistyczny opis kwantowych języków programowania