型语言效率比较低，依赖解释器，跨平台性好。