Composable Quantum Oracles for Shifting Quantum Circuits Abstraction Level

In this paper, the issue of the low abstraction level supported by quantum programming languages based on quantum gates is addressed. The author of this proposal is leading a research line in which quantum registers are considered as data type encoders. From this starting point, the development of efficient quantum oracles implementing operations on these types is proposed. If such oracles are reusable and composable, then programmers will have access to higher-level abstraction operations for conceptualizing and encoding their solutions. The objective of this work is to present this research direction, outline the results achieved thus far, and depict future work and how they can help achieve Quantum Utility by allowing developers to work at a higher abstraction level.