IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

Actualités Discussion :

Silq, le premier langage intuitif de haut niveau pour les ordinateurs quantiques

  1. #1
    Chroniqueur Actualités

    Homme Profil pro
    Rédacteur technique
    Inscrit en
    juin 2016
    Messages
    2 196
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : Bénin

    Informations professionnelles :
    Activité : Rédacteur technique
    Secteur : Aéronautique - Marine - Espace - Armement

    Informations forums :
    Inscription : juin 2016
    Messages : 2 196
    Points : 46 185
    Points
    46 185
    Par défaut Silq, le premier langage intuitif de haut niveau pour les ordinateurs quantiques
    Silq, le premier langage intuitif de haut niveau pour les ordinateurs quantiques
    un programme Silq serait 46 % plus court qu'en Q# tout en utilisant la moitié du nombre de primitives quantiques

    Des avancées majeures dans l’informatique quantique sont attendues pour les prochaines décennies et afin d’y arriver, il faut disposer des outils pouvant faciliter la programmation des ordinateurs quantiques. C’est dans cet objectif que les chercheurs de l’école polytechnique fédérale de Zurich (EPFZ ou ETHZ pour Eidgenössische Technische Hochschule Zürich) ont développé Silq, un langage de haut niveau qui utilise un système de typage statique fort. Silq supprime la limitation des langages quantiques existants forçant les programmeurs à travailler à un bas niveau d’abstraction.

    Alors que traditionnellement les algorithmes quantiques étaient souvent spécifiés en termes de circuits, les langages quantiques expriment les algorithmes quantiques de manière plus pratique sous forme de code source. Cependant, les langages quantiques existants obligent le programmeur à coder à un faible niveau d'abstraction, en spécifiant encore essentiellement des circuits quantiques qui appliquent de manière explicite des opérations quantiques à des bits quantiques individuels. Par conséquent, la mise en œuvre d'algorithmes quantiques dans ces langages est fastidieuse et sujette à l'erreur.

    L’ETH de Zurich a publié cet été le premier langage quantique de haut niveau développé pour éliminer les détails d'implémentation de bas niveau des algorithmes quantiques. Silq est disponible en accès public sur GitHub et est sous licence libre et gratuite Boost Software License 1.0. Le principal objectif de Silq est de contribuer à combler le fossé conceptuel entre les langages classiques et les langages quantiques. Ainsi, il abaisse la barrière d'entrée pour les programmeurs quantiques non experts et aide à exprimer des algorithmes compliqués de manière propre et concise.


    Selon sa documentation, il facilite aussi un transfert technologique de plus de 50 ans de techniques de programmation et d'analyse mises en place pour l'informatique classique vers le domaine de la programmation quantique. Silq soutient une vision descriptive des algorithmes quantiques qui exprime l'intention de haut niveau du programmeur. La compilation de ces algorithmes en circuits quantiques de bas niveau devient ensuite une préoccupation de second ordre qui peut être traitée par un compilateur spécialisé, tout comme dans les langages de programmation classiques.

    Silq a été présenté pendant une session du forum PLDI 2020. À cette occasion, l’équipe a exposé les résultats de certains essais qu’elle a faits. « Notre évaluation expérimentale démontre que les programmes Silq sont sensiblement plus courts que les programmes équivalents dans d'autres langages quantiques (en moyenne 46 % pour Q# et 38 % pour Quipper), tout en utilisant seulement la moitié du nombre de primitives quantiques. Ainsi, les programmes Silq sont non seulement plus courts, mais également plus faciles à lire et à écrire puisqu'ils requièrent moins de primitives et de concepts », a exposé l’équipe de Silq.

    Selon Benjamin Bischel de l’équipe de Silq, le principal avantage de Silq est qu'il gère automatiquement le décalcul des valeurs temporaires. « Contrairement au langage classique, où nous pouvons simplement oublier les valeurs temporaires qui sont produites pendant un calcul, l'élimination des valeurs temporaires dans le cadre quantique nécessite des opérations explicites pour retirer ces valeurs de la considération », a-t-il expliqué. À part ça, Silq a également d’autres avantages, dont :

    • peut éliminer automatiquement les déchets ou les valeurs superflues qui peuvent entraîner un enchevêtrement quantique ;
    • est plus compacte, plus rapide et plus intuitive ;
    • dispose d'un vérificateur de type de compilateur qui empêche les programmeurs de faire des erreurs courantes ;
    • permet d'écrire des programmes beaucoup plus courts que ceux écrits dans Q# et Quipper ;
    • intègre les dernières techniques en matière de langues classiques ;
    • nécessite beaucoup moins de code et moins de fonctions intégrées, de portes et d'annotations, par rapport à Q# ;
    • etc.

    En examinant l'impact et l'applicabilité de Silq, beaucoup s’attendent à ce que plusieurs autres avantages apparaissent dans un avenir proche, ajoutant que « l'avenir de l'informatique quantique semble prometteur ».

    Sources : Site Web de Silq, Dépôt GitHub de Silq, Session Sil PLDI 2020

    Et vous ?

    Qu'en pensez-vous ?

    Voir aussi

    Microsoft lance la préversion de son kit de développement Quantum qui embarque son langage de développement Q# dédié à l'informatique quantique

    Microsoft crée un nouveau langage de programmation dédié aux ordinateurs quantiques qui devrait être officialisé d'ici la fin d'année

    Un réseau informatique quantique à l'échelle planétaire serait bientôt possible, selon les résultats d'une recherche

    Selon certains analystes, les ordinateurs quantiques pourraient casser le chiffrement qui protège le web actuellement. Mythe ou menace réelle ?
    Contribuez au club : corrections, suggestions, critiques, ... Contactez le service news et Rédigez des actualités

  2. #2
    Membre émérite
    Profil pro
    undef
    Inscrit en
    février 2013
    Messages
    785
    Détails du profil
    Informations personnelles :
    Localisation : France, Lot (Midi Pyrénées)

    Informations professionnelles :
    Activité : undef

    Informations forums :
    Inscription : février 2013
    Messages : 785
    Points : 2 748
    Points
    2 748
    Par défaut
    Va juste falloir des milliers de qbits pour obtenir un programme fonctionnel alors que l'arrive à peine à en stabiliser une centaine.

  3. #3
    Membre éprouvé
    Homme Profil pro
    Everything
    Inscrit en
    décembre 2013
    Messages
    361
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : Italie

    Informations professionnelles :
    Activité : Everything

    Informations forums :
    Inscription : décembre 2013
    Messages : 361
    Points : 1 260
    Points
    1 260
    Par défaut
    Heureusement que les Suisses relèvent un peu le niveau Européen dans le domaine.
    Ceux qui abandonnent une liberté essentielle pour une sécurité minime et temporaire ne méritent ni la liberté ni la sécurité.
    Benjamin Franklin

Discussions similaires

  1. Un langage haut niveau pour développer des applications windows sur linux
    Par defois.hugo dans le forum Langages de programmation
    Réponses: 1
    Dernier message: 04/09/2016, 11h50
  2. Réponses: 1
    Dernier message: 13/06/2011, 14h58
  3. Réponses: 26
    Dernier message: 01/10/2010, 18h38
  4. Une API de haut niveau pour de la 2D à la flash
    Par nouknouk dans le forum Interfaces Graphiques en Java
    Réponses: 12
    Dernier message: 02/01/2008, 18h17
  5. [EDI] Editeur de haut niveau pour générer une application Web en PHP/MySQL
    Par Speezaker dans le forum EDI, CMS, Outils, Scripts et API
    Réponses: 7
    Dernier message: 14/12/2007, 19h19

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo