Software Engineers from ETH Zurich believe new Silq programming language will make quantum computing easier
ETH Zurich is a public research university in the city of Zürich, Switzerland. Founded by the Swiss Federal Government in 1854 with the stated mission to educate engineers and scientists, the school focuses exclusively on science, technology, engineering, and mathematics. Software developers from the ETH Zurich have developed a new programming language and claimed it to be the best quantum programming language so far.
Silq is a new high-level programming language for quantum computing with a strong static type system, developed at ETH Zürich. Although it may be not common knowledge, the lack of usable general-purpose quantum computers has not kept multiple teams from developing programming languages for such computer systems.
So far today, Microsoft’s Q# programming language is the strong contender of Quantum computing. Q# is a domain-specific programming language used for expressing quantum algorithms. It was initially released to the public by Microsoft as part of the Quantum Development Kit.
Uncomputation is a technique, used in reversible circuits, for cleaning up temporary effects on ancilla bits so they can be re-used. Uncomputation is important to quantum computing. Whether or not intermediate effects have been uncomputed affects how states interfere with each other when measuring results. Normally, one would save the intermediate result to a register for this, then reset the state and continue. Which parts of the state to keep and what to uncompute is however not easily determined, as a quick glance at related answers over at the Quantum Computing StackExchange and Theoretical Computer Science might reveal.
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.
You can download the Silq programming language clone from here. What is your view on the silq programming language? Can silq be the best Quantum programming language? Do mention your views in the comment section below. For more news on tech and cybersecurity stay tuned at Android Rookies by subscribing to our newsletter from here.