Q Sharp
| 编程范型 | 多范式：量子，函数式，指令式 |
|---|---|
| 設計者 | 微软研究院（量子架构与计算组，QuArC） |
| 實作者 | 微软 |
| 发行时间 | 2017年12月11日 |
| 当前版本 | |
| 型態系統 | 静态，强类型 |
| 系统平台 | 通用语言架构 |
| 文件扩展名 | .qs |
| 網站 | Microsoft Quantum (GitHub) |
| 受影响于 | |
| C♯, F♯ | |
Q#（发音为Q sharp）是一种用于表达量子算法的特定领域编程语言。[1] 它最初作为量子开发套件的一部分由微软公开发布。[2]
历史[编辑]
在2017年9月26日的Microsoft Ignite主题演讲中，微软宣布他们将发布一种专门针对量子计算机的新编程语言。[3] 2017年12月11日，微软将Q#作为量子开发套件的一部分正式发布。
用法[编辑]
Q#仅可作为Visual Studio的单独下载的扩展名提供。[4] Quantum开发套件附带一个能够运行Q#的量子模拟器。
为了调用量子模拟器，使用另一种.NET框架，它为模拟器提供（经典）输入数据，并从模拟器中读取（经典）输出数据。
設計[编辑]
Q#的設計目的是爲了擺脫傳統計算機語言對於暢通電子計算機編程模型的思維模式，轉而通過更加專注算法的方式來對量子計算機能夠擁有更爲良好的適配，而且傳統語言一般不支援對於量子位元的控制。Q#的針對目標是大量使用量子計算的應用程式的高效率開發，而不是簡單算法的固定實現。[5]
功能[编辑]
Q#的一個主要特徵是能夠為算法創建并且能夠使用量子位元，因此Q#的能力中最爲突出的就是能夠通過受控反閘和阿達馬變換進行量子纏結并且引入量子位元的叠加。個別地來説，有托佛利閘、包立矩陣等，更多内容詳見量子閘。
Q#等編譯運行特徵：[编辑]
- 基於抽象量子位元而不是物理量子位元；
- 允許集成使用量子計算和經典計算；
- 能夠表達例如量子相位估計算法（Quantum Phase Estimation Algorithm）、幅度放大（Amplitude Amplification）等高階算法；
- 采用操作伴隨的高階變換可被原生表達；
- 可以被位圖編譯器委托的邏輯閘編輯、序列優化、輔助管理等；
- 算法遵守物理法則，例如不能複製量子位元、除了模擬器調試的模擬狀態，實際物理環境下不能監視量子狀態。
最終能夠與Q#結合的硬體堆棧有望能夠將量子位元實現在量子拓朴計算中。當前量子開發套件附帶的量子模擬器能夠在使用者機器上處理多達32個量子位元，在Azure上可處理多達40個量子位元。
檔案以及資源[编辑]
目前，可用於Q#的資源很少，但官方文檔已發佈有Microsoft Developer Network：Q#（页面存档备份，存于互联网档案馆）、Microsoft Quantum Github（页面存档备份，存于互联网档案馆）。其中在Github上的項目也是一個大型示例項目程式的集合，其實現了各種量子算法以及調試模型。
微軟在Codeforces上也主持過一場量子編碼競賽，並在當時提供了相關材料以幫助回答部落格文章中所提到的問題，以及教程中問題的詳細解決方案。
微軟提供了一系列的學習練習（页面存档备份，存于互联网档案馆），以幫助學習Q#。其中包含各種資源的鏈接以及問題的解決方案。
語法[编辑]
與C#的相似之處：[编辑]
- 使用namespace來隔離程式碼；
- 所有語句均使用分號;來結尾；
- 均使用大括弧{}來限定範圍；
- 使用連續的雙斜綫//來添加單行注釋；
- 一些基元變量數據類型相同，例如:Int、Double、String、Bool等，但是在Q#中全部使用大寫字母開頭，而在C#中使用關鍵字來聲明時為小寫字母開頭，不過在C#中使用FCL類型名稱時可以表示為大寫開頭，而且C#中的int為32位元，而Q#中為64位元[6]；
- 量子比特的分配被放置在using語句塊當中；
- 使用return關鍵字返回結果。
與F#的相似之處：[编辑]
- 使用let或mutable來聲明變量[1]；
- 使用頭等函數模式；
- 使用open關鍵字導入模塊；
- 數據類型在變量名稱之後聲明；
- 使用連續的兩個英文半角句號..來進行範圍運算；
- 使用for..in循環；
- 每個操作和函數都必須有一個返回值，沒有void類型。相對應的，使用放回一個空元組()來取代void；
- 記錄數據類型的定義。
差異：[编辑]
- 使用function關鍵字聲明函數；
- 使用operation關鍵字聲明在量子計算機上的作業；
- 沒有多行注釋；
- 使用斷言來檢查和報告錯誤，而不是擲出例外；
- 文檔使用Markdown編寫，而不是基於XML的文檔標記。
参考文献[编辑]
- ^ 1.0 1.1 QuantumWriter. Intent and product brand in a unique string of 43-59 chars including spaces. docs.microsoft.com. [2017-12-11]. （原始内容存档于2017-12-12） （en-us）.
- ^ Announcing the Microsoft Quantum Development Kit. [2017-12-11]. （原始内容存档于2017-12-11） （en-US）.
- ^ Microsoft announces quantum computing programming language. [2017-12-14]. （原始内容存档于2017-12-14） （en-US）.
- ^ QuantumWriter. Setting up the Q# development environment. [2017-12-14]. （原始内容存档于2017-12-14） （en-us）.
- ^ Why do we need Q#?. [2018-11-23]. （原始内容存档于2018-11-23） （en-US）.
- ^ QuantumWriter. Q# type model. docs.microsoft.com. [2018-11-23]. （原始内容存档于2018-11-16） （en-us）.
