PQ Language Reference

PQ is a domain-specific functional programming language for the description of quantum circuits. It features a rich type system, which allows for the specification of resource requirements in a program's type. This is made possible thanks to several advanced typing constructs, such as:

• Linear types,
• Type refinements,
• Effects,
• Closure types.

A detailed documentation of PQ is still in the works. For the time being, we refer users to the research paper that first introduced Proto-Quipper-RA, the theoretical precursor of PQ.