FLEQ Guide and Reference

Contents:

• Introduction
  • Motivation
    • Recap of the Intel® Quantum Software Development Kit language
    • Compile-time vs. runtime
    • What is the Functional Language Extension for Quantum (FLEQ)?
  • Basic concepts
    • Quantum kernel expressions (QExpr)
    • Evaluating quantum kernel expressions
    • Compile-time lists (QList and DataList)
    • Getting started
• Features
  • Basics: evals, join, identity, and QExpr-returning functions
  • Quantum kernel function conversion
  • Coherent transformations: control, inversion, and power
    • Control
    • Inversion
    • Power
  • QList
  • Branching
  • Recursion
  • Let/get, printing, and exiting
    • Let/get
    • Printing
    • Exiting
  • DataList
    • Basic DataList operations
    • DataList conversions
    • Parsing
    • Runtime and compile-time conversions
  • Barriers and binding
    • Quantum basic blocks and barriers
    • Bind
• Advanced topics
  • Ordering of classical and quantum operations
  • Higher-order functions
  • Local qubits
  • Domain-specific languages using FLEQ
  • Debugging
  • Overview of FLEQ compilation
• Support
  • Known limitations
    • Limitations on FLEQ types
    • Classical control flow
    • Barriers
    • Print buffer
  • Bug reporting and feature requests