• kvp
    #11
    Ha jol latom a doksibol, akkor:

    main :: IO ()

    Viszont tovabbra is igaz, hogy ez a nyelv nem csak magat a kvantum szamitogepet programozza, hanem a hagyomanyos neumann elvu segedaramkoroket is, amik a tenyleges i/o-t vegzik. Maga a kavntum szamitogep bekapcsolasonkent csak 1 kiertekelest tud vegezni, ami egyetlen kvantum fuggveny kiszamitasa. A bemeneti valtozokat es az eredmenyt egy hagyomanyos gep kezeli. Tehat a tenyleges kvantum gep csak egyetlen alu-kent viselkedik egy sima neumann rendszeru gepben. Ez max. kvantum szamologep, de onallo szamitogepnek meg nem nevezheto.

    Szamomra sokkal egyszerubb lenne c-ben programozni es csak a bemeneti es kimeneti matrixokat definialni, majd meghivni a kvantum egyseget egyetlen c-s fuggvennyel (run_generic_io). Gyakorlatilag quipper-ben is ez tortenik, csak egy kisse szokatlan nyelven, de ennek pusztan akademiai okai vannak. (a keszitoje szorakozasbol talal ki uj nyelveket, meg jokat lehet rola publikalni)

    ps: http://www.mathstat.dal.ca/~selinger/quipper/