量子プログラミング言語
QMLはAltenkirchとGrattageによって開発されたHaskelによく似た量子プログラミング言語である。SelingerのQPLとは違い、QMLは量子情報を廃棄する(discarding)のではなく、primitive operationとして複製(duplication)をする。この文脈でいう「複製」とは | φ ⟩ {\displaystyle |\phi \rangle } を | φ ⟩ ⊗ | φ ⟩ {\displaystyle |\phi \rangle \otimes |\phi \rangle } へ写す操作として理解され、クローニングと混同してはいけない。クローニングは不可能な操作である。