High-level Domain-specific Circuit Compilation using the Functional Language Extension to the Intel® Quantum Software Development Kit (SDK)

The Intel Quantum SDK uses quantum extensions to C++ to describe circuit-based quantum-hybrid algorithms. To go beyond basic circuit-level descriptions, the Functional Language Extension for Quantum (FLEQ) has been recently added to the Intel Quantum SDK to facilitate higher-level and extensible development of quantum algorithms, with which complex circuits can be built at compile time using a modular functional design. In this talk, we introduce a toy example of a quantum domain-specific language implemented using FLEQ in such a way that no circuit description is required, but rather only domain-specific knowledge of the problem.