La computación cuántica es un paradigma de computación distinto al de la computación clásica. Se basa en el uso de qubits en lugar de bits, y da lugar a nuevas puertas lógicas que hacen posibles nuevos algoritmos.

Una misma tarea puede tener diferente complejidad en computación clásica y en computación cuántica, lo que ha dado lugar a una gran expectación, ya que algunos problemas intratables pasan a ser tratables. Mientras un computador clásico equivale a una máquina de Turing, un computador cuántico equivale a una máquina de Turing cuántica.

(Wikipedia)

Quipper es un lenguaje embebido, funcional y escalable ideado para la computación cuántica. Proporciona, entre otras funcionalidades:

• Lenguaje descriptivo de alto nivel
• Facilidades nativas para la mezcla de código declarativo y procedural
• Soporte para circuitos jerárquicos
• Tipos de datos cuánticos extensibles

En este pequeño informe se presentan algunas de las funcionalidades básicas del lenguaje de programación Quipper diseñado especialmente para la computación cuántica que está por venir.