人类为什么总喜欢在静态类型语言里写auto，在动态类型语言里标type，还热衷于从一个动态弱类型语言衍生出一个静态强类型语言？ 
为什么呢？