Les types en Q#

1. Les types primitifs du langage Type:primitif

Plusieurs types primitifs sont disponibles en Q# :

  • Le type entier Int représente une valeur entière codée sur 64 bits.

  • Le type Double représente une valeur flottante en double précision.

  • Le type booléen Bool est égal soit à true soit à false.

  • Le type Qubit représente un bit quantique. Conformément à la physique quantique, une instance de Qubit est initialisée et à un moment donné, est mesurable. Par contre, entre ces deux évènements, le Qubit considéré et son état quantique courant ne sont pas maîtrisés et peuvent essentiellement être transmis pour diverses transformations comme le placer en entrée de portes quantiques.

  • Le type Pauli est également un type primitif en Q#. Il correspond clairement aux diverses portes quantiques dites de Pauli étudiées dans les chapitres précédents. Il correspond donc aux diverses rotations possibles dans la sphère de Bloch, respectivement autour des axes X, Y, et Z. Ce type est une énumération et comprend donc chacune des trois rotations précitées ainsi qu’une transformation de type identité. Ces quatre valeurs d’énumération sont :

  • PauliX

  • PauliY

  • PauliZ

  • PauliI

  • Le type Result correspond très précisément au résultat d’une mesure quantique. Il ne peut avoir que deux valeurs...
Pour consulter la suite, découvrez le livre suivant :
couv_DPQINF.png
60-signet.svg
En version papier
20-ecran_lettre.svg
En version numérique
41-logo_abonnement.svg
En illimité avec l'abonnement ENI
130-boutique.svg
Sur la boutique officielle ENI
Précédent
Éléments relatifs aux signes de ponctuation
Suivant
Les structures de données