Quantum programming languages is a research field concerned with the design, theory, and implementation of formal languages for specifying and executing algorithms on quantum computers. It investigates the linguistic constructs and programming paradigms necessary to express quantum operations, manage quantum state, and integrate classical control flow. This field explores abstractions for quantum circuits, type systems suitable for quantum data, and methods for verifying quantum programs, enabling the development and application of quantum algorithms to problems intractable for classical computing paradigms.