Quipper: първият програмен език за квантови компютри

Екип американски учени, финансирани от Изследователския център на американското разузнаване (IARPA), разработи програмния език от високо ниво Quipper. Той е базиран на Haskell и по-добре подхожда за реализацията на квантови алгоритми в сравнение с QCL, който е базиран на C.

Към днешен ден са известни над 45 алгоритъма за квантови компютри. Всички алгоритми са описани в научни статии, но нито един от тях не е реализиран чрез програмен код. Тази възможност се появява с реализацията на Quipper. В бъдеще, програмистът на квантови компютри ще може да използва готови библиотеки, както сега това става при класическото програмиране. Авторите на Quipper считат, че съществуването на подобен програмен език с абстракции от високо ниво и реализирани чрез тях алгоритми ще помогне в създаването на нови и усъвършенстване на сегашните алгоритми.

Quipper е подходящ за програмиране на теоретични квантови компютри с различна архитектура - реализация на кубити чрез фотони, електрони и други, но не е подходящ за програмирането на действащия "квантов" компютър D-Wave, който критиката не счита за пълноценен квантов компютър, поради твърде тясната му специализация. Това обаче не попречи на Google да закупи неотдавна два компютъра D-Wave с 512 кубитни процесора за $15 милиона.