辨析编程语言的四种类型：动静类型与强弱类型