Завдання квантових мов не полягає у тому, щоб надати інструмент для програмістів, а в тому, щоб надати інструменти для дослідників, щоб зрозуміти краще, як працюють квантові обчислення і як формально доводити коректність квантових алгоритмів. Можна виділити дві основні групи квантових мов програмування: імперативні квантові мови програмування і функційні квантові мови програмування. Найвідомішими представниками першої групи є QCL і LanQ.