Meet Silq – The New High-level Programming Language For Quantum Computers

Recently, developers from ETH Zurich, Switzerland introduced the first-ever high-level programming language for quantum computers, known as Silq. The language addresses various challenges of quantum languages, such as unintuitive and cluttered code by supporting safe and automatic uncomputation. 

In order to gain an advantage over traditional algorithms, researchers have been working on quantum computers and algorithms for a few decades now. 

Behind the Language

Silq is a high-level programming language for quantum computing that is designed to extract from low-level implementation details of quantum algorithms.

Subscribe to our Newsletter

Join our editors every weekday evening as they steer you through the most significant news of the day, introduce you to fresh perspectives, and provide unexpected moments of joy
Your newsletter subscriptions are subject to AIM Privacy Policy and Terms and Conditions.

The technical novelty of this language is a quantum type system that captures important aspects of quantum computations and enables safe and automatic computation, which is, a fundamental challenge in existing quantum languages. 

According to the developers, Silq is the first quantum language with a strong static type system to provide intuitive semantics, i.e. if a program type-checks, its semantics follows an intuitive recipe that simply drops temporary values. This language allows expressing quantum algorithms more safely and concisely than existing quantum programming languages.

Why Use Silq

Quantum computations often produce temporary values, and removing such values from consideration induces an implicit measurement collapsing the state of quantum computing. To remove the temporary values from consideration without inducing an implicit measurement, algorithms in existing languages must explicitly uncompute all the temporary values.

This results in a significant gap from quantum to classical languages and is a major roadblock preventing the adoption of quantum languages, as the implicit side-effects resulting from uncomputation mistakes such as silently dropping temporary values are highly unintuitive.

This is where Silq language comes into play. This language bridges this gap by automatically uncomputing temporary values. The type system of Silq exploits a fundamental pattern in quantum algorithms, stating that uncomputation can be done safely if: –

  • The original evaluation of the uncomputed value can be described classically and 
  • The variables used to evaluate it are preserved and can thus be leveraged for uncomputation.

Benefits of Silq

  • Silq’s main advantage over existing quantum languages is its safe and automatic uncomputation, enabled by its novel annotations const and qfree.
  • Silq algorithms are shorter and simpler in nature.
  • The language enables intuitive yet physical semantics and statically prevents errors that are not detected in existing quantum languages.
  • It modifies the program’s quantum state according to an intuitive semantics that follows the laws of quantum physics.
  • Silq avoids the notational overhead associated with languages that achieve lesser static safety in programs.


The recommended way to install Silq is by using its Visual Studio Code Plugin (vscode plugin). This approach works for Linux, Mac, and Windows.

To install Silq’s vscode plugin

  1. Open vscode
  2. Open tab extensions (Ctrl+Shift+X)
  3. Install vscode-silq

Click here to know. 

Wrapping Up

According to the developers, in contrast to the existing quantum languages such as Q#, Quipper, ProjectQ, QWire, among others, this language supports a descriptive view of the quantum algorithms that expresses the high-level intent of the programmer. The key language features of this language can also be incorporated into existing languages such as QWire or Q#. 

The experimental evaluation of Silq demonstrated that the programs of this language are not only easier to read and write but also significantly shorter than equivalent programs in other quantum languages such as Q#, Quipper, etc. while using only half the number of quantum primitives. On average, Silq programs require 46% less code than Q#. In future work, the developers expect Silq to advance various tools central to programming quantum computers. 

Read the paper here

Watch the video below-

Ambika Choudhury
A Technical Journalist who loves writing about Machine Learning and Artificial Intelligence. A lover of music, writing and learning something out of the box.

Download our Mobile App

MachineHack | AI Hackathons, Coding & Learning

Host Hackathons & Recruit Great Data Talent!

AIMResearch Pioneering advanced AI market research

With a decade of experience under our belt, we are transforming how businesses use AI & data-driven insights to succeed.

The Gold Standard for Recognizing Excellence in Data Science and Tech Workplaces

With Best Firm Certification, you can effortlessly delve into the minds of your employees, unveil invaluable perspectives, and gain distinguished acclaim for fostering an exceptional company culture.

AIM Leaders Council

World’s Biggest Community Exclusively For Senior Executives In Data Science And Analytics.

3 Ways to Join our Community

Telegram group

Discover special offers, top stories, upcoming events, and more.

Discord Server

Stay Connected with a larger ecosystem of data science and ML Professionals

Subscribe to our Daily newsletter

Get our daily awesome stories & videos in your inbox