Q#–一個新年願望清單

本文章爲機器翻譯。https://blogs.msdn.microsoft.com/visualstudio/2018/12/24/qsharp-wish-list-for-new-year/#

在以前的博客文章,你讀過一些關於Q #背後的想法,它是如何開始存在,其發展在過去的一年。你讀過關於量子計算,量子算法和你可以做什麼,問#今天。隨着今年即將結束,只有一件事要蓋:下一步是什麼?

這個博客是關於我們對未來的渴望和你如何能幫助完成。它包含了一些我們的願景前進,我們希望能在評論中聽到你的想法。

社區
我們關於Q #最令人興奮的事情之一就是不斷增長的社區周圍。植根於量子力學原理,量子計算往往有空氣不可接近的“門外漢”。然而,量子計算是建立在一個理想的量子系統的行爲根據少數相當容易學習原則的概念。在線性代數,後天背景稍微有些堅持,和耐心的時候,你的頭怎麼包測量工作有可能獲得深入的量子算法相當快!

當然,在這些原則的幾個好的博客可以幫助。我們努力積極支持你在所提供的材料,幫助你開始探索量子算法的冒險,就像我們日益增長的量子實踐。我們的開源庫圖書館提供了大量各種各樣的積木,用你利用量子追求權力。一個開源項目的主要好處是能夠有足夠的勇敢的人們探索量子所提供的可能性,分享你的工作。分享你的進步和幫助別人建立在你的成就!無論是在卡塔或圖書館的形式,我們歡迎任何大小我們的庫的貢獻。讓我們知道我們如何可以幫助做出貢獻更容易。

開發商之間的交換是軟件開發的一個重要方面。它是無所不在的,在一個特定的工具和主題建設一個可持續發展的環境至關重要。值得慶幸的是,現代技術已使交流更容易比在第一計算機程序員開始自己的職業生涯。我們要充分利用互聯網的力量,給一個聲音和一對Q #和量子計算爲世界各地的開發商相關話題的討論平臺。Q # dev的博客是這種努力的一部分。聯繫我們或在下面的評論,如果你有一個想法,一個博客或者希望聽到更多關於某個主題的Q #相關。建立良好的反饋渠道始終是一個具有挑戰性的工作,特別是像我們這樣的小團隊。我們希望這個地方成爲一個知識交流源,一個地方你可以找到最新的新聞和你對他們的聲音。

生長
這把我們帶回到我們的Q #計劃。我們已經建立了Q #使量子發展更容易和更方便。當然,也有一些其他的因素所起到的決定。例如,我們預計需要自動化在很大程度上是在今天做手工勞動,例如量子比特的佈局和門的合成,還經常做以每個程序案例的基礎上,有針對性的硬件。你最後一次擔心如何糾錯工作在硬件上執行的代碼會是什麼時候?隨着量子比特是一個極爲稀缺的資源,和長期的野心,利用量子計算解決計算最密集的任務,不能與當前的硬件解決方案,大型量子優化需要優先。我們選擇了發展自己的語言,有什麼樣的信息完全的控制和靈活性表現如何,當它被編譯爲在使用過程中能夠支持執行量子程序的模塊化和可擴展的軟件體系結構。但那是另一段故事了。重要的是,這些因素是如何設計和開發語言向前發展的關鍵因素。

一種編程語言不僅僅是一個方便的工具集,算法表達。它的形狀,我們認爲,對一個問題的原因的方法,我們如何構造它,把它分解成任務在生成解決方案時。一種編程語言,會對我們的現有方法的認識產生了巨大的影響,以及如何適應和結合我們的目的。尤其是當冒險進入新的領域。

我們的目標是建立一個共同的理解是我們努力完成,並進化Q #成所需的驅動編程進步的強大的語言。我們的目標是利用一種語言的設計者,社會知識編譯的退伍軍人,量子物理學家、算法和硬件專家,以及各種軟件開發商的形狀的一種新的計算架構。And we want you to be part of it.

Transparency
Since our 0.3 release at the beginning of November we have been eagerly working on not just the next release, but on defining and preparing the next steps in 2019. While we are in the middle of formulating our plans for the future, I want to give you a brief insight into some of our considerations.

As I am sure you have noticed, the support for data structures in Q# is minimal. While we do provide quite a few high-level language features for abstracting classical and quantum control flow, we intentionally omit some of the more object-oriented mechanisms such as classes. We anticipate remaining heavily focused on transformations that modify the quantum state, expressed as operations in Q#, as well as their characteristics and relations in the future. However, basic bundling of data and manipulations of such is of course an important aspect of many programs and we want to provide suitable mechanisms to express these in a way that allows to make abstractions, is convenient, and is resistant to coding errors. 用戶定義的類型在當前設置有限的權力,除了增加類型安全。“黑箱方法”類型參數化目前限制其有用性;我們不提供一個動態的反射機制,它是不可能的應用運營商或其他類型的具體功能參數項的類型爲每個調用單獨解決。在這個意義上說,這些項目都是“黑盒子”,只能通過周圍。我們要做許多繁重的工作儘可能的靜態特別是因爲量子器件的可調試性是一個巨大的挑戰。有幾種機制可以考慮減輕這些決定的後果。一方面,約束中使用的幾種流行的語言的共同機制。在某種意義上,它們可以被視爲“一個基於類型的屬性的專業”。你也可以追求更嚴格的道路專業根據具體類型本身,事實上添加一個表格超載我們目前明確阻止使用。無論哪種方式,通過明確區分用戶定義的類型在類型系統,我們對擴展他們的權力做出了第一步的元組。

如果你想聽到更多關於可能的想法,問#,其好處和注意事項,或想分享一些自己的想法,在下面的評論!參與討論,發表你的思考的問題:是什麼讓一個量子程序設計語言的“量子”,即如何使它特別適合於量子計算?

加入我們
我希望你和我們一起進入了一個新的推計算邊界的參與我們的編碼比賽年,貢獻我們的開源庫,評論或寫博客,分享你的想法和經驗!

如何對新的一年的決議你自己嗎?讓我們知道您的期望完成,我們如何能幫助你在問#量子編程實現你的新年決心!

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章