编译型语言、解释型语言、静态类型语言、动态类型语言概念与区别