迄今為止,對於我們很多大眾而言,量子計算機依然神秘依然高大上依然可望而不可即。而對於業內人士而言,量子計算機和量子技術的研究已經不是一天兩天了,科學家們的研究不亦樂乎,成果進展也可喜。比如,程式語言領域就迎來了一個重要的突破:第一種高級程式語言 Silq問世。之所以說它是第一種高級程式語言,就是因為這個程式語言是量子計算機領域的,不是目前的在很低的抽象級別工作的程式語言,也不是我們普通認識學習的程式語言。
量子計算機領域的頭號程式語言Silq,誕生於蘇黎世聯邦理工學院的計算機科學界人士之手。據設計這種程式語言的Vechev 教授表示,「與現有程式語言相比,量子程式語言 Silq 能夠使程式設計師更好地利用量子計算機的潛力,因為這些代碼更加緊湊、速度更快、更實用,並且更易於理解。」
不過,說起量子程式語言,可能有些關注技術的朋友知道,其實IT巨頭微軟公司曾經在幾年前推出過一款量子計算程式語言Q#,一人客看資料顯示,在2017年,微軟推出量子計算開發套件,分為windows版本和macOS和linux版本,需要在VS或者VS code上使用。同時,微軟也在GitHub上提供了量子程式語言Q#的demo。
而新出的這款高級程式語言Silq,則更直觀更簡潔,它能讓你抽離在非常低的抽象水平上工作,安全,能避免出錯,能進行自動計算,易於理解算法的作用,它比微軟的量子程式語言Q#更直觀更簡潔,是更高層次的程式語言。經過測試,Silq生成的程序比Q#編程的程序短很多。
Silq這種量子程式語言,其設計主要不是要圍繞硬體的結構和功能,而是更高層次地從程式設計師的角度,以人想解決問題時的思維方式為核心,所以並不是必須要求人們理解計算機體系的結構和實現的每一個細節,這個顯然更高級,也更符合以人為中心的易理解性易用性目標。
學習過編程開發的朋友知道,軟體或程序在運行計算的過程中,都會通過多個中間步驟來實現計算,而這些勢必會創建中間結果或臨時值。一般情況下,計算機會自動刪除處理掉這些值,然而到了量子計算機領域,這一步會很糟糕。想必和一人客一樣了解過量子基本常識的朋友知道,量子糾纏的概念和事實,由於量子糾纏,先前計算的值可能與當前的值相互作用,從而幹擾正確的計算,而Silq這款量子程式語言則解決了這個問題,它屬於量子電腦程式優化方面的重要突破。