siyu-npc / learning-q-sharp Goto Github PK

如第一章的

​ $\begin{bmatrix} 1 \ 0 \end{bmatrix}，\begin{bmatrix} 0 \ 1 \end{bmatrix}，\begin{bmatrix} \frac{1}{\sqrt{2}} \ \frac{1}{\sqrt{2}} \end{bmatrix}，\begin{bmatrix} \frac{1}{\sqrt{2}} \ \frac{-1}{\sqrt{2}} \end{bmatrix}\begin{bmatrix} \frac{1}{\sqrt{2}} \ \frac{i}{\sqrt{2}} \end{bmatrix}$
​ 图1.1 态矢量

4.2.1 (2) 中有这样一段话
“Q#不是一种强类型的编程语言，在定义一个新的变量时，变量的类型由编译器根据其具体值进行推断。”
首先，作者你是不是弄混了强弱类型和静态动态类型的概念😅……
其次，Q#是强类型，静态类型语言。Q#不支持隐式类型转换，而且虽然Q#支持类型推断但是不能在运行时改变变量类型。类型是编译期确定的。 https://en.wikipedia.org/wiki/Strong_and_weak_typing

以及，稍微吐槽下，using和Range不是Q#特有的，C#和F#里有using statement:
https://docs.microsoft.com/en-us/dotnet/csharp/language-reference/keywords/using-statement
https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/resource-management-the-use-keyword
F#有个类似的东西叫Sequence
https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/sequences

其实Q#挺像F#的。M$以前弄得LIQUi|〉就是F#写的。