Приклади включають QPL Селінджера, і Haskell-подібну мову QML, розроблену Алтенкірчом і Ґретажем. Квантові мови програмування високого рівня, засновані на лямбда-численні, були запропоновані ван Тондером, Селінджером і Валіроном Аріґі і Довеком. Виклики, що стоять перед практичними квантовими обчисленнями