Requirements for QPLs
Ideally, a quantum programming language
should permit programmers to
implement quantum algorithms at a
level of abstraction that is close to how
one naturally thinks about the algorithm.
If the algorithm is most naturally
described by a mathematical formula,
then the programming language
should support such a description
where possible. Similarly, if the algorithm
is most naturally described by
a sequence of low-level gates, the programming
language should support
this description as well