Formalismo procedurale per l’informatica quantistica: Nonostante molti concetti

Note:
Nonostante molti concetti comuni con l’informatica classica, il calcolo quantistico è ancora ampiamente considerato come una disciplina speciale all’interno del vasto campo della fisica teorica. Una delle ragioni della lenta adozione del QC da parte della comunità informatica è laconfusione di formalismi (notazione di Dirac, matrici, porte, operatori, ecc.), Nessuno dei quali ha alcuna somiglianza con i linguaggi di programmazione classici, così come la terminologia piuttosto fisica nella maggior parte della letteratura disponibile.
QCL (Quantum Computation Language) cerca di colmare questa lacuna: QCL è un linguaggio di programmazione indipendente dall’architettura di alto livello per computer quantistici, con una sintassi derivata dai linguaggi procedurali classici come C o Pascal. Ciò consente la completa implementazione e simulazione di algoritmi quantistici (compresi i componenti classici) in un unico formalismo coerente.