15 de junio de 2005

Niveles de abstracción

Veamos, el desarrollo lógico de la computación cuántica, al igual que la computación clásica, debería ir llevando a crear nuevos niveles de abstracción. Hasta ahora existen:
nivel 0 de abstracción: Física cuántica
nivel 1 de asbtracción: Computación cuántica en base a compuertas lógico-cuánticas
nivel 2 de abstracción: Aritmética computacional cuántica
nivel 3 de abstracción (¿o 1.5?): Lambda Cálculo para computación cuántica

Ya sería hora de crear un nuevo nivel, "lenguajes de programación cuánticos" ¿qué permitiría esto? si bien no se van a poder implementar "compiladores" cuánticos todavía (ya que no existen aún máquinas cuánticas que manejen un número de qubits interesantes), se puede llegar a simplificar bastante el escribir algoritmos cuánticos si disponemos de un lenguaje para esto. El único problema es que todos los "niveles" mencionados siguen desarrollándose constantemente, por lo tanto se necesitaría un lenguaje lo suficientemente potente como para poder ir cambiándolo facilmente de acuerdo a los nuevos descubrimientos en niveles inferiores.

Se invita a todos a dejar sus comentarios ;)

PD: si quieren saber un poco más de qué es la computación cuántica, lean el post anterior "Charlas Introductorias a la Computación Cuántica"