强类型语言和静态类型语言有什么区别？