Stay up to date with the latest academic and research topics in the quantum community by joining our live discussions every Friday at 12PM EDT. Tune in to gain insights from experts and engage with a community of quantum enthusiasts!
Curated by: Qiskit (180 videos)
Silq is a new high-level programming language for quantum computing with a strong static type system, developed at ETH Zürich. This talk will introduce both the standard parts of Silq (which exist analogously in other quantum languages) and the novel language features unique to Silq, which make Silq programs more concise, intuitive, and less error-prone than programs in existing quantum languages. Silq addresses the fundamental challenge specific to quantum programming that dropping temporary values from the program state requires explicitly applying operations that uncompute these values. To this end, Silq is the first language which supports safe, automatic uncomputation. This enables a new programming paradigm for quantum programs, which can now implicitly drop temporary values, as is standard in classical computation. To ensure physicality of Silq’s semantics, its type system leverages novel annotations to reject unphysical programs.