Resumo
O desenvolvimento de algoritmos quânticos esbarra em algumas dificuldades, tais como
a falta de um computador quântico de propósito geral, uma linguagem ou formalismo específico,
ou o alto consumo de recursos computacionais quando trata-se de simulação de algoritmos
quânticos em computadores clássicos. Este trabalho apresenta o desenvolvimento da biblioteca
MQS (Modal Quantum Simulation), um modelo de computação quântica escrita em Haskell
capaz de desenvolver a implementação de algoritmos considerando a Teoria Quântica Modal.
Essa teoria tem como atrativo a substituição de amplitudes de probabilidade complexas por
campos finitos. Ou seja, uma teoria simplificada se comparada com a computação quântica
convencional, mas que mantém muito da estrutura da computação quântica tradicional.