近日，蘇黎世聯邦理工學院的計算機科學界人士在程式語言領域取得了重要突破：計算機科學教授 Martin Vechev 與他的團隊設計出了量子計算機領域內第一種高級程式語言 Silq，它能夠像傳統計算機語言一樣簡單、安全又可靠。
Vechev 教授表示，「與現有程式語言相比，量子程式語言 Silq 能夠使程式設計師更好地利用量子計算機的潛力，因為這些代碼更加緊湊、速度更快、更實用，並且更易於理解。」
量子計算機被認為在將來會比普通計算機更能夠解決問題。某些量子算法的速度比經典算法更快，且具備一些經典算法所沒有的潛力。但直到今天，現有量子計算機的高出錯率仍無法支撐這些算法的運行。
要發揮量子計算的潛力，不僅需要最新的技術，用於描述量子算法的量子程式語言也必不可少。原則上來講，算法是解決問題的「配方」。程式語言對算法進行描述，以便計算機可以執行必要的計算。
如今，量子程式語言已與特定的硬體緊密聯繫在一起。但這些「硬體描述語言」既麻煩又容易出錯，因為程式設計師們因為必須極其詳細地說明單個編程指令，從而專門描述實現量子算法所需的最小限度。
Silq 的誕生有助於解決這個問題。根據開發團隊中 Benjamin Bichsel 的介紹，「Silq 並非主要圍繞硬體的結構和功能來設計，而更多關注程式設計師在解決問題時的思維，他們不需要理解計算機架構和實現的每一個細節。」
Silq 帶來的最大創新和貢獻，大概是消除了長期以來困擾著量子編程的錯誤源。在量子計算時，由於量子加密，垃圾收集這個步驟比較棘手：先前計算的值可以與當前的值相互作用，因此會干擾到正確的計算。而 Silq 就能夠自動識別並刪除這些無用值。
「在優化量子電腦程式設計方面，Silq 是一項重大突破，但一切只是剛剛開始」。Vechev 教授和他的團隊希望他們的的工作不僅僅促進量子程式語言的發展，也能夠刺激量子算法理論得到突破和進展。
消息來源：蘇黎世聯邦理工學院