tg-me.com/hw_code/547
Last Update:
Краткий обзор языков квантового программирования
Исторически первым таким языком стал язык QCL, или Quantum Computation Language (язык квантовых вычислений). Далее были попытки сделать ещё некоторые языки программирования для квантовых вычислений. На сегодняшний день глубокое развитие при поддержке государственных институтов Канады и США получил язык программирования Quipper, который основан на языке Haskell, дополняя его всем необходимым для решения специфических задач модели квантовых вычислений.
Как это ни странно, всё их множество также можно разделить на языки с императивной основой и на языки функциональные. Так, к императивным языкам квантового программирования относятся: квантовый псевдокод (это вообще был первый формализованный язык для квантового программирования, который, однако, остался только на бумаге), уже упомянутый QCL, затем язык Q и, наконец, язык qGCL (Quantum Guarded Command Language).
С другой стороны, к функциональным языкам квантового программирования относятся следующие: QFC и QPL (оба разработаны П. Селинджером, различаются только синтаксисом – первый является языком квантовых схем), QML (тоже, как ни странно, основан на языке Haskell), квантовое лямбда-исчисление и, собственно, язык Quipper.
Вся информация представлена также на таблице ниже. Однако, сюда не включены квантовые фреймворки на Python по типу [ссылка] или прочие изыски на других языках программирования, не получившие достаточного распространения.
by @hw_code
BY Hello World

Share with your friend now:
tg-me.com/hw_code/547