（無限期停更）量子編程語言的程序驗證

好吧……我把這一系列文章都給刪了。如果真的還想要看的話，可以私我，不過目前只想給特定的人去看。。。在此表示自己的歉意_(:з」∠)_

_(:з」∠)_刪掉它有以下幾個原因：

• 自己沒完全搞明白……只是翻譯個書本沒什麼意思……想要拿寫小河狸的標準來寫各種東西；在接觸qpl之前實際上就已經確定了自己打算以玩一玩的心態去把這本書給啃一啃的目標，但是不知道啃到什麼程度才叫做輕啃……或者說這並不是我的主要愛好，但我好像不僅啃得太用力了而且還是沒啃乾淨_(:з」∠)_
• 筆記破漏百出。相比那個回答……
• 不想騙贊。
• 越學越憋屈。有一部分原因是因為這裡，另一部分是只看一本書太讓思維受限了。

或許以後我真的有把握去寫它出來的話我就會重新放出來。但是目前它只會被我封存到另外一個地方……

－－－－－－－－

現在並沒有成熟的量子語言，畢竟我們壓根就不知道量子編程語言能夠被用在哪裡。計算模型不止圖靈機。最早的語言也不止C&Lisp。紛陳的各種qpl都在從經典pl或者量子力學中多多少少地引入各種概念作為自己的語言特色……真的要給某一種語言作出一個評價的話，應該是幾乎沒有人能夠做到——因為沒有人能夠做到像討論經典pl一樣討論它。

在這種意義上，各式「門派」語言出現的早晚（Sellinger的範疇論、應這邊的Hoare Logic和「升降算符」（吐槽：升降算符就是一個人加搶佔到的坑_(:з」∠)_）），都有可能在以後有自己的用處……我們還並不知道量子計算機應該怎樣子為我們服務最方便、最好用（雖然這句話是我瞎說的），而pl想必就是為此而生的，每一門語言都有可以關注的空間，入哪一個門派或許就像打賭（反正大家都還在瘋狂挖坑）。而且，量子的晶元的一個小門檻是多量子之間的糾纏。所以能否做到全糾纏（讓我想到了cache的全連接……）？會不會以此引發新的量子晶元&對應的量子語言的發展方向？又或者，如果我們發現量子計算機中還是classical control更好用的話……所以quantum control可能只是一個看起來很有趣的特性而已了（然而依然是我瞎猜的）_(:з」∠)_

至於這裡？知乎上也就只有討論它有什麼特性並且解釋一下那個特性的份了吧……

很抱歉了，在這方面是真的很憋屈，對不起_(:з」∠)_