量子プログラミング言語
Q#は、2017年にマイクロソフトによって実装された。Quantum Development Kitに含まれており、Visual Studioを開発環境として利用できる。
データ型 量子(Quantum) - qureg, quvoid, quconst, quscratch, qucond 古典(Classical) - int, real, complex, boolean, string, vector, matrix, tensor
関数型 qufunct - Pseudo-classic operators. Can only change the permutation of basic states. operator - General unitary operators. Can change the amplitude. procedure - Can call measure, print, and dump inside this function. This function is non-invertible.
組込み関数(Built-in functions) 量子(Quantum) qufunct - Fanout, Swap, Perm2, Perm4, Perm8, Not, CNot operator - Matrix2x2, Matrix4x4, Matrix8x8, Rot, Mix, H, CPhase, SqrtNot, X, Y, Z, S, T procedure - measure, dump, reset 古典(Classical) Arithmetic - sin, cos, tan, log, sqrt, ... Complex - Re, Im, conj
Quipperは2013年に公開されたものである。QuipperはHaskellをホスト言語として用いて埋め込み言語として実装された。よって、Quipperで書かれた量子プログラムはHaskellで専用のライブラリを用いて書かれている。例えば、次のコードはpreparation of a superpositionを実装する。