Qrisp: a framework for compilable high-level programming of gate-based quantum computers

The recent advances of quantum computation hardware spark realistic hopes to achieve commercially relevant quantum advantage in less than a decade. While the physics side of quantum computing makes significant progress, the support for high-level quantum programming abstractions is still in its infancy compared to modern classical languages and frameworks. In this article we present Qrisp, a framework which aims to bridge several of the existing gaps between the abstract high-level programming paradigms of state-of-the art software engineering and the physical reality of today's quantum hardware. The goal of the framework is to provide a uniform high-level programming interface, abstraction and low-level backend interface for different hardware platforms. We specify a simple and expressive syntax which nevertheless compiles to efficient circuits. Compared to many other high-level language approaches, Qrisps most outstanding feature is that it's programs are compiled to the circuit level and can thus be executed on most of today's physical backends.