Megosztás a következőn keresztül:

Rendszer beírása

  • Cikk

Mivel a kvantumalgoritmus inkább az elvégzendő célokra összpontosít, mint az adatstruktúrák problémamegjelenítésére, természetes választás a nyelvtervezés funkcionálisabb szempontjainak figyelembe vétele. Ugyanakkor a típusrendszer egy hatékony mechanizmus, amely felhasználható a programelemzéshez és más fordítási időre vonatkozó ellenőrzésekhez, amelyek megkönnyítik a hatékony kód kialakítását.

Mindent egybevetve, a Q# típusrendszer meglehetősen minimalista, abban az értelemben, hogy nincs explicit fogalma osztályok vagy felületek, mint az egyik lehet használni a klasszikus nyelvek, mint a C# vagy a Java. Némi pragmatikus megközelítést is alkalmazunk, amely növekményes előrehaladást tesz lehetővé, így bizonyos szerkezetek még nincsenek teljesen integrálva a típusrendszerbe. Ilyenek például a funktorok, amelyek használhatók kifejezésekben, de még nem rendelkeznek reprezentációval a típusrendszerben. Ennek megfelelően jelenleg nem rendelhetők hozzá és nem adhatóak át argumentumként, hasonlóan ahhoz, mint a paraméteres hívható típus esetében. Várhatóan növekményes előrehaladást értünk el a típusrendszer teljesebb körű kiterjesztésében, és kiegyensúlyozzuk az azonnali igényeket a hosszabb távú tervekkel.

Elérhető típusok

Minden típus Q#nem módosítható.

Típus Leírás
Unit Egyetlen olyan típust jelöl, amelynek az egyetlen értéke .()
Int 64 bites aláírt egész számot jelöl. Az értékek -9 223 372 036 854 775 808 és 9 223 372 036 854 775 807 között mozognak.
BigInt Tetszőleges méretű aláírt egész számértékeket jelöl.
Double Dupla pontosságú, 64 bites lebegőpontos számot jelöl. Az értékek -1,79769313486232e308 és 1,79769313486232e308 között, valamint NaN (nem szám).
Bool Logikai értékeket jelöl. A lehetséges értékek: true és false.
String A szöveget UTF-16 kódegységek sorozatából álló értékekként jelöli.
Qubit Egy átlátszatlan azonosítót jelöl, amellyel a virtuális kvantummemória kezelhető. A típusértékekQubit példányosítása foglalással történhet.
Result Egy eigenvalues ±1 jellel rendelkező kvantumoperátor eigentereibe történő kivetítő mérés eredményét jelöli. Lehetséges értékek vagy ZeroOne.
Pauli Egy qubites Pauli-mátrixot jelöl. A lehetséges értékek a következők: PauliI, PauliXvagy PauliYPauliZ.
Range Egyenlő távolságú Int értékek rendezett sorozatát jelöli. Az értékek növekvő vagy csökkenő sorrendben jelölhetik a sorozatokat.
Tömb Azokat az értékeket jelöli, amelyek mindegyike azonos típusú értéksorozatot tartalmaz.
Rekord Azokat az értékeket jelöli, amelyek mindegyike rögzített számú különböző típusú elemet tartalmaz. Az egyetlen elemet tartalmazó tuplesek egyenértékűek az általuk tartalmazott elemmel.
Felhasználó által megadott típus Egy felhasználó által definiált típust jelöl, amely különböző típusú névvel ellátott és névtelen elemekből áll. Az értékeket a konstruktor meghívásával példányosítjuk.
Művelet Egy nem determinisztikus meghívható értéket jelöl, amely egy (esetleg rekordértékű) bemeneti argumentumot ad vissza egy (esetleg rekordértékű) kimenettel. A műveletértékek hívásainak mellékhatásai lehetnek, és a kimenet minden hívásnál eltérő lehet, még akkor is, ha ugyanazzal az argumentummal hívják meg.
Függvény Egy determinisztikus hívható értéket jelöl, amely egy (esetleg rekordértékű) bemeneti argumentumot vesz igénybe, és egy (esetleg rekordértékű) kimenetet ad vissza. A függvényértékek meghívásának nincsenek mellékhatásai, és a kimenet mindig ugyanaz lesz, ha ugyanazt a bemenetet adja meg.