任意值和类型推论：若变量在声明时未指定类型，会被识别为任意值，若声明变量时赋值，会推断其为赋值的类型。
接口：赋值的时候，变量的形状必须和接口形状保持一致，多属性或少属性均不可（可选属性、任意属性除外）。
