WikiSort.ru - Не сортированное

Языки квантового программирования — языки программирования, позволяющие выражать квантовые алгоритмы с использованием высокоуровневых конструкций. Их цель не столько создание инструмента для программистов, сколько предоставление средств для исследователей для облегчения понимания работы квантовых вычислений.

Существующие языки квантового программирования: QPL^{[источник не указан 210 дней]}, QCL, Haskell-подобный QML^{[источник не указан 210 дней]}, quipper^[1], Q#^[2], Q^[3], qGCL^[3], cQPL^[3].

Библиотеки симуляции квантовых компьютеров (квантовые виртуальные машины, Quantum virtual machine): en:libquantum, qlib.

Пример кода на QCL

QCL, Quantum computing language — одна из первых реализаций языка квантового программирования. Близок к языку Си и классическим типам данных. Позволяет смешивать классический и квантовый код в одном исходном файле.

Базовый квантовый тип данных qureg (квантовый регистр, quantum register). Его можно представить в виде массива кубитов (квантовых битов).

  qureg x1[2]; // двухкубитовый квантовый регистр x1
  qureg x2[2]; // двухкубитовый квантовый регистр x2
  H(x1); // Операция Адамара над x1
  H(x2[1]); // Операция Адамара над первым кубитом регистра x2

Поскольку интерпретатор qcl использует библиотеку симуляции qlib, возможно наблюдать внутреннее состояние квантового компьютера во время исполнения:

  qcl> dump
  : STATE: 4 / 32 qubits allocated, 28 / 32 qubits free
  0.35355 |0> + 0.35355 |1> + 0.35355 |2> + 0.35355 |3>
  + 0.35355 |8> + 0.35355 |9> + 0.35355 |10> + 0.35355 |11>

Примечания

Ссылки

• https://www.quantiki.org/wiki/quantum-programming-language
• Quantum Programming Languages. Survey and Bibliography Journal Mathematical Structures in Computer Science. Volume 16 Issue 4, August 2006. Pages 581—600 doi:10.1017/S0960129506005378
• Towards a Quantum Programming Language / Math. Struct. in Comp. Science 14(4):527-586, 2004
• Dominique Unruh. Quantum Programming Languages / Informatik – Forschung und Entwicklung 21(1):55–63, Springer, 2006
• https://medium.com/@decodoku/how-to-program-a-quantum-computer-982a9329ed02
• https://www.americanscientist.org/node/3466
• Programming languages and compiler design for realistic quantum hardware / Nature 549, 180–187 (14 September 2017) doi:10.1038/nature23459  (платн.)

Это заготовка статьи о компьютерных языках. Вы можете помочь проекту, дополнив её.