量子運算開發工具包Q#在2017年底釋出以來,已經滿一年,微軟也在今年初開源並新支援了macOS與Linux桌面平臺,以擴大開發者人數,而在年末的時候,微軟對外說明了Q#的設計理念與接下來的發展方向。微軟釋出Q#的原因,除了要讓量子開發更容易,同時也希望能滿足特定情境的需求,像是微軟預告新增的自動化功能,以自動化原本需要手動的工作,微軟提到,量子位佈局和量子閘合成,通常仍需要針對每個程式和目標硬體逐一進行,而自動化作業可以加速這個過程。
另外,Q#也能解決開發人員很常會擔心程式程式碼在硬體上執行時的錯誤糾正問題,以及由於量子位現在仍是稀缺資源,微軟認為,量子運算的長期目標應該是被用來解決,當前硬體還無法解決的計算密集行工作,微軟也希望在開發工作上,大規模量子程式優化應該被當作優先事項。因此微軟選擇開發自有的語言,以便對訊息的表達方式擁有完全的控制力,使其富有彈性,以及在量子編譯時期能夠支援模組化與可擴充套件軟體架構。微軟提到,程式語言不僅代表一組方便用來表達演算法的工具,也同時塑造了開發者思考問題的方法,以及拆解問題成小任務並建構解決方案的方式。 根據目的調整和組合這些工具,程式語言可以對理解現有方法產生極大的影響,更不用說用在全新領域上。微軟想集合程式語言設計人員、編譯程式工程師、量子物理學家、演算法和硬體專家以及各種軟體開發者,為量子運算塑造一種新的運算架構。2018年11月Q#釋出了0.3版,官方現在已經著手準備下一個版本,並且說明了Q#發展的方向。微軟提到,Q#中對資料結構的支援很少,雖然提供了許多高階語言功能來抽象經典概念以及量子控制流,但刻意省略了一些諸如類別等物件導向的機制。 微軟未來會將重點放在修正量子態的轉換,將其表達成Q#中的操作以及在未來的特性和關係。然而,資料的基本捆綁和這些操作為許多程式重要的部分,微軟希望提供適當的機制來表達,以允許達到抽象、方便以及抵抗程式程式碼編寫錯誤。除了增加的型別安全性之外,當前設定中的使用者定義型別的能力受限,目前以黑盒子的方式將型別引數化,因此限制了他們的用途。由於微軟沒有提供動態反射的機制,因此不可能將運算子或是其他型別特定功能,應用於每個單獨呼叫解析其型別的引數專案。因此就這個設計的意義來說,這些專案只是個黑盒子,僅能用於傳遞。 由於量子裝置偵錯非常困難,微軟希望能以靜態的方式,執行這些繁重的工作,微軟提出了兩種可能的機制,以來減輕這些負擔,其中一是型別限制,這是一種的常見於熱門語言的機制,可以被視為基於型別屬性的專業化,另一種則是根據實際型別本身,追求更嚴格的專業化方向,以增加目前避免使用的過載的型別。而無論是哪一種方法,透過明確地將使用者定義的型別,與型別系統中的元組分開,是跨出擴充套件其能力的第一步。微軟表示,Q#藉助社群的力量不斷髮展,雖然量子運算建立在量子力學之上,一般人因為對於這領域不熟悉而卻步,但是又因為量子運算建立在理想化量子系統的概念上,因此也符合部分容易學習的原則。微軟透過Q#dev部落格的文章傳遞這些原則,並促使開發人員進行交流。文章來源至:一起勝博發愛心公益 chiayuan.org.tw/量子計算Q#將來會如何發展?微軟官方出面說明
相關文章
- 量子計算將如何改變世界?
- 量子計算會“帶來革命性改變”嗎?
- 量子計算機巧妙解決計算機發展瓶頸|Windows 8.1:微軟宣佈結束其主流服務支援計算機Windows微軟
- 微軟的將來在於Web和雲端計算微軟Web
- 量子計算能夠量級加速人工智慧的發展人工智慧
- 學習雲端計算怎麼樣?未來10年雲端計算發展前景如何?
- 未來10年雲端計算發展前景如何?雲端計算的優勢在哪裡?
- 小米未來將會與微軟合作微軟
- Android Jetpack - Fragment官方說明AndroidJetpackFragment
- Oracle 官方文件 結構說明Oracle
- Oracle官方文件結構說明Oracle
- 學習雲端計算好嗎?未來10年雲端計算發展前景如何?
- 量子計算新進展,騰訊量子實驗室設計新演算法進行量子近似最佳化演算法
- 《計算機程式設計藝術》出版說明計算機程式設計
- PGA_官方說明和個人理解
- 入門量子計算
- 前沿科技:量子計算
- 量子計算雲平臺“中國版”啟動量子資訊革命正在加速到來
- 厲害了量子計算機!瞧瞧它是如何“秒殺”其他計算機計算機
- 可穿戴計算裝置將帶來多大的機會?
- oracle基於cbo成本計算方式說明Oracle
- 為什麼說雲端計算的發展給傳統IDC帶來巨大沖擊?
- 跟量子計算比起來,AI和機器學習弱爆了!AI機器學習
- 雲端計算未來 5 年發展方向大盤點
- 【雲端計算】雲端計算六大優點簡單說明
- VR將會成為發展重點 全國科技工作會議以明確VR
- NSR專題 | 量子計算(特邀編輯:郭光燦、應明生)
- [譯] React-Redux 官方 Hooks 文件說明ReactReduxHook
- Amazon Braket 與量子計算
- 為什麼量子計算會對我們產生威脅?
- 機械磁碟iops說明及計算方法
- 量子科技概念大火,國內現狀如何?國盾量子撐起量子通訊,華為BAT均入局量子計算BAT
- 2014年螢幕將會向什麼方向發展?採用量子點最新技術
- Chrome釋出重要安全更新,將抵禦量子計算機發起的黑客攻擊Chrome計算機黑客
- 前沿情報丨當人工智慧遇上量子計算機AlphaGo將爆發出洪荒之力人工智慧計算機Go
- IBM量子計算機亮相 距離標準量子計算機相距甚遠IBM計算機
- 時間複雜度計算和舉例說明時間複雜度
- 計算機發展簡史計算機