> The static type (or just type) of a variable is the type given in its declaration, the type provided in the new call or composite literal, or the type of an element of a structured variable.

静态类型是变量声明时的类型。

> Variables of interface type also have a distinct dynamic type, which is the (non-interface) type of the value assigned to the variable at run time (unless the value is the predeclared identifier nil, which has no type).

接口类型变量还有一个动态的类型，这个类型是运行期赋于的*值的类型*，除非那个值是**预先声明的标识符 nil**，它没有类型。

这里很明确地区分了 标识符 nil 和一个值的类型。


解释了把 （标识符 nil ）和 （一个为 nil 的值）赋值给一个 interface 的区别，前者没有类型，后者值为 nil 但是有类型。


> Two interface values are equal if they have identical dynamic types and equal dynamic values or if both have value nil.

两个接口值只有在动态类型和值都相等时相等。