go 是一门强类型语言

[mizuki9]

• 所有变量都是有类型的
• == != 的比较首先需要左右两边的东西是同一个类型
• go 中的 nil 的使用只有相等与不相等比较
• 对于普通类型变量与 nil 比较时，即

var a KindA
a == nil 本质上是 (KindA)(a) == (KindA)(nil)

• 接口类型不是普通类型，接口是功能约束，即一种契约，某个具体类型实现接口契约后，就属于该接口类型。也就是说接口类型是动态类型，但我更喜欢称接口类型为功能契约，不是实际类型

var i InterfaceA
i == nil 本质上是 (nil)(i) == (nil)(nil)
 var b KindB
 b == nil 即 (KindB)(b) == (KindB)(nil)
 i = b
 i != nil 即 (KindB)(nil) != (nil)(nil) // 实际上这里是 (dynamicType)(nil) != (nil)(nil)，此时已经不知道 dynamicType 的具体类型了

• 接口类型 是 类型的类型。接口类型接受实际类型（实现接口契约）后成为一个真类型，但是是动态的，能操作的只有接口本身带有的契约功能。
• 泛型 同样是 类型的类型。泛型接受实际类型后成为真类型，是静态的，操作它就是操作普通类型

[strobber16]

python 也是一门强类型语言

[reatang]

`var a KindA` a 都已经申请内存了怎么会 == nil 呢

[maocat]

这么多废话
是不是强类型语言就看 int+string 报不报错

[guyeu]

请先定义“强类型”

[Deteriorator]

在板块首页看不到这个帖子， 有意思

[zhaoahui]

绕口令是吧